- let word_ty = this.tcx.mk_ty(TyKind::Uint(UintTy::U16));
- let dword_ty = this.tcx.mk_ty(TyKind::Uint(UintTy::U32));
- let usize_ty = this.tcx.mk_ty(TyKind::Uint(UintTy::Usize));
- let word_layout = this.layout_of(word_ty)?;
- let dword_layout = this.layout_of(dword_ty)?;
- let usize_layout = this.layout_of(usize_ty)?;
+ let word_layout = this.machine.layouts.u16;
+ let dword_layout = this.machine.layouts.u32;
+ let usize_layout = this.machine.layouts.usize;