[opaque pointer types] Use the pointee type loaded from bitcode when constructing...