[opaque pointer type] LoadInst: assert that the explicit type matches the implicit one