Skip to content

Commit 120d744

Browse files
committed
remove bound_type_of query; make type_of return EarlyBinder; change type_of in metadata
1 parent 88a8bf3 commit 120d744

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/machine.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -901,7 +901,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> {
901901
panic!("extern_statics cannot contain wildcards")
902902
};
903903
let (shim_size, shim_align, _kind) = ecx.get_alloc_info(alloc_id);
904-
let def_ty = ecx.tcx.bound_type_of(def_id).subst_identity();
904+
let def_ty = ecx.tcx.type_of(def_id).subst_identity();
905905
let extern_decl_layout =
906906
ecx.tcx.layout_of(ty::ParamEnv::empty().and(def_ty)).unwrap();
907907
if extern_decl_layout.size != shim_size || extern_decl_layout.align.abi != shim_align {

0 commit comments

Comments
 (0)