1// MIR for `c` after Inline 2 3fn c(_1: &[T]) -> &[T] { 4 debug x => _1; 5 let mut _0: &[T]; 6 let _2: &[T]; 7 let mut _3: &[T]; 8 scope 1 (inlined <[T] as AsRef<[T]>>::as_ref) { 9 debug self => _3; 10 } 11 12 bb0: { 13 StorageLive(_2); 14 StorageLive(_3); 15 _3 = &(*_1); 16 _2 = _3; 17 _0 = &(*_2); 18 StorageDead(_3); 19 StorageDead(_2); 20 return; 21 } 22} 23