@@ -21,7 +21,7 @@ use rustc_middle::{
2121 query:: TyCtxtAt ,
2222 ty:: {
2323 self ,
24- layout:: { LayoutCx , LayoutError , LayoutOf , TyAndLayout } ,
24+ layout:: { HasTyCtxt , LayoutCx , LayoutError , LayoutOf , TyAndLayout } ,
2525 Instance , Ty , TyCtxt ,
2626 } ,
2727} ;
@@ -381,8 +381,8 @@ pub struct PrimitiveLayouts<'tcx> {
381381}
382382
383383impl < ' tcx > PrimitiveLayouts < ' tcx > {
384- fn new ( layout_cx : LayoutCx < ' tcx , TyCtxt < ' tcx > > ) -> Result < Self , & ' tcx LayoutError < ' tcx > > {
385- let tcx = layout_cx. tcx ;
384+ fn new ( layout_cx : LayoutCx < ' tcx > ) -> Result < Self , & ' tcx LayoutError < ' tcx > > {
385+ let tcx = layout_cx. tcx ( ) ;
386386 let mut_raw_ptr = Ty :: new_mut_ptr ( tcx, tcx. types . unit ) ;
387387 let const_raw_ptr = Ty :: new_imm_ptr ( tcx, tcx. types . unit ) ;
388388 Ok ( Self {
@@ -596,14 +596,13 @@ pub struct MiriMachine<'tcx> {
596596}
597597
598598impl < ' tcx > MiriMachine < ' tcx > {
599- pub ( crate ) fn new ( config : & MiriConfig , layout_cx : LayoutCx < ' tcx , TyCtxt < ' tcx > > ) -> Self {
600- let tcx = layout_cx. tcx ;
599+ pub ( crate ) fn new ( config : & MiriConfig , layout_cx : LayoutCx < ' tcx > ) -> Self {
600+ let tcx = layout_cx. tcx ( ) ;
601601 let local_crates = helpers:: get_local_crates ( tcx) ;
602602 let layouts =
603603 PrimitiveLayouts :: new ( layout_cx) . expect ( "Couldn't get layouts of primitive types" ) ;
604604 let profiler = config. measureme_out . as_ref ( ) . map ( |out| {
605- let crate_name = layout_cx
606- . tcx
605+ let crate_name = tcx
607606 . sess
608607 . opts
609608 . crate_name
@@ -701,7 +700,7 @@ impl<'tcx> MiriMachine<'tcx> {
701700 clock : Clock :: new ( config. isolated_op == IsolatedOp :: Allow ) ,
702701 #[ cfg( unix) ]
703702 native_lib : config. native_lib . as_ref ( ) . map ( |lib_file_path| {
704- let target_triple = layout_cx . tcx . sess . opts . target_triple . triple ( ) ;
703+ let target_triple = tcx. sess . opts . target_triple . triple ( ) ;
705704 // Check if host target == the session target.
706705 if env ! ( "TARGET" ) != target_triple {
707706 panic ! (
0 commit comments