tests/mir-opt/slice_filter.variant_a-{closure#0}.CopyProp.diff

   1 - // MIR for `variant_a::{closure#0}` before CopyProp
   2 + // MIR for `variant_a::{closure#0}` after CopyProp
   3
   4   fn variant_a::{closure#0}(_1: &mut [closure@$DIR/slice_filter.rs:8:25: 8:39], _2: &&(usize, usize, usize, usize)) -> bool {
   5       let mut _0: bool;                    // return place in scope 0 at $DIR/slice_filter.rs:+0:40: +0:40
   6       let _3: &usize;                      // in scope 0 at $DIR/slice_filter.rs:+0:27: +0:28
   7       let _4: &usize;                      // in scope 0 at $DIR/slice_filter.rs:+0:30: +0:31
   8       let _5: &usize;                      // in scope 0 at $DIR/slice_filter.rs:+0:33: +0:34
   9       let _6: &usize;                      // in scope 0 at $DIR/slice_filter.rs:+0:36: +0:37
  10       let mut _7: bool;                    // in scope 0 at $DIR/slice_filter.rs:+0:40: +0:56
  11       let mut _8: bool;                    // in scope 0 at $DIR/slice_filter.rs:+0:40: +0:46
  12       let mut _9: &&usize;                 // in scope 0 at $DIR/slice_filter.rs:+0:40: +0:41
  13       let mut _10: &&usize;                // in scope 0 at $DIR/slice_filter.rs:+0:45: +0:46
  14       let _11: &usize;                     // in scope 0 at $DIR/slice_filter.rs:+0:45: +0:46
  15       let mut _12: bool;                   // in scope 0 at $DIR/slice_filter.rs:+0:50: +0:56
  16       let mut _13: &&usize;                // in scope 0 at $DIR/slice_filter.rs:+0:50: +0:51
  17       let mut _14: &&usize;                // in scope 0 at $DIR/slice_filter.rs:+0:55: +0:56
  18       let _15: &usize;                     // in scope 0 at $DIR/slice_filter.rs:+0:55: +0:56
  19       let mut _16: bool;                   // in scope 0 at $DIR/slice_filter.rs:+0:60: +0:76
  20       let mut _17: bool;                   // in scope 0 at $DIR/slice_filter.rs:+0:60: +0:66
  21       let mut _18: &&usize;                // in scope 0 at $DIR/slice_filter.rs:+0:60: +0:61
  22       let mut _19: &&usize;                // in scope 0 at $DIR/slice_filter.rs:+0:65: +0:66
  23       let _20: &usize;                     // in scope 0 at $DIR/slice_filter.rs:+0:65: +0:66
  24       let mut _21: bool;                   // in scope 0 at $DIR/slice_filter.rs:+0:70: +0:76
  25       let mut _22: &&usize;                // in scope 0 at $DIR/slice_filter.rs:+0:70: +0:71
  26       let mut _23: &&usize;                // in scope 0 at $DIR/slice_filter.rs:+0:75: +0:76
  27       let _24: &usize;                     // in scope 0 at $DIR/slice_filter.rs:+0:75: +0:76
  28       let mut _25: &(usize, usize, usize, usize); // in scope 0 at $DIR/slice_filter.rs:+0:26: +0:38
  29       let mut _26: &(usize, usize, usize, usize); // in scope 0 at $DIR/slice_filter.rs:+0:26: +0:38
  30       let mut _27: &(usize, usize, usize, usize); // in scope 0 at $DIR/slice_filter.rs:+0:26: +0:38
  31       let mut _28: &(usize, usize, usize, usize); // in scope 0 at $DIR/slice_filter.rs:+0:26: +0:38
  32       scope 1 {
  33           debug a => _3;                   // in scope 1 at $DIR/slice_filter.rs:+0:27: +0:28
  34           debug b => _4;                   // in scope 1 at $DIR/slice_filter.rs:+0:30: +0:31
  35           debug c => _5;                   // in scope 1 at $DIR/slice_filter.rs:+0:33: +0:34
  36           debug d => _6;                   // in scope 1 at $DIR/slice_filter.rs:+0:36: +0:37
  37           scope 2 (inlined cmp::impls::<impl PartialOrd for &usize>::le) { // at $DIR/slice_filter.rs:8:40: 8:46
  38               debug self => _9;            // in scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
  39               debug other => _10;          // in scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
  40               let mut _29: &usize;         // in scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
  41               let mut _30: &usize;         // in scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
  42               let mut _31: &usize;         // in scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
  43               let mut _32: &usize;         // in scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
  44               scope 3 (inlined cmp::impls::<impl PartialOrd for usize>::le) { // at $SRC_DIR/core/src/cmp.rs:LL:COL
  45 -                 debug self => _29;       // in scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
  46 -                 debug other => _30;      // in scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
  47 +                 debug self => _31;       // in scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
  48 +                 debug other => _32;      // in scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
  49                   let mut _33: usize;      // in scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
  50                   let mut _34: usize;      // in scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
  51               }
  52           }
  53           scope 4 (inlined cmp::impls::<impl PartialOrd for &usize>::le) { // at $DIR/slice_filter.rs:8:60: 8:66
  54               debug self => _18;           // in scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
  55               debug other => _19;          // in scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
  56               let mut _35: &usize;         // in scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
  57               let mut _36: &usize;         // in scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
  58               let mut _37: &usize;         // in scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
  59               let mut _38: &usize;         // in scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
  60               scope 5 (inlined cmp::impls::<impl PartialOrd for usize>::le) { // at $SRC_DIR/core/src/cmp.rs:LL:COL
  61 -                 debug self => _35;       // in scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
  62 -                 debug other => _36;      // in scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
  63 +                 debug self => _37;       // in scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
  64 +                 debug other => _38;      // in scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
  65                   let mut _39: usize;      // in scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
  66                   let mut _40: usize;      // in scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
  67               }
  68           }
  69           scope 6 (inlined cmp::impls::<impl PartialOrd for &usize>::le) { // at $DIR/slice_filter.rs:8:50: 8:56
  70               debug self => _13;           // in scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
  71               debug other => _14;          // in scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
  72               let mut _41: &usize;         // in scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
  73               let mut _42: &usize;         // in scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
  74               let mut _43: &usize;         // in scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
  75               let mut _44: &usize;         // in scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
  76               scope 7 (inlined cmp::impls::<impl PartialOrd for usize>::le) { // at $SRC_DIR/core/src/cmp.rs:LL:COL
  77 -                 debug self => _41;       // in scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
  78 -                 debug other => _42;      // in scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
  79 +                 debug self => _43;       // in scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
  80 +                 debug other => _44;      // in scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
  81                   let mut _45: usize;      // in scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
  82                   let mut _46: usize;      // in scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
  83               }
  84           }
  85           scope 8 (inlined cmp::impls::<impl PartialOrd for &usize>::le) { // at $DIR/slice_filter.rs:8:70: 8:76
  86               debug self => _22;           // in scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
  87               debug other => _23;          // in scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
  88               let mut _47: &usize;         // in scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
  89               let mut _48: &usize;         // in scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
  90               let mut _49: &usize;         // in scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
  91               let mut _50: &usize;         // in scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
  92               scope 9 (inlined cmp::impls::<impl PartialOrd for usize>::le) { // at $SRC_DIR/core/src/cmp.rs:LL:COL
  93 -                 debug self => _47;       // in scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
  94 -                 debug other => _48;      // in scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
  95 +                 debug self => _49;       // in scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
  96 +                 debug other => _50;      // in scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
  97                   let mut _51: usize;      // in scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
  98                   let mut _52: usize;      // in scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
  99               }
 100           }
 101       }
 102
 103       bb0: {
 104 -         StorageLive(_3);                 // scope 0 at $DIR/slice_filter.rs:+0:27: +0:28
 105           _25 = deref_copy (*_2);          // scope 0 at $DIR/slice_filter.rs:+0:27: +0:28
 106           _3 = &((*_25).0: usize);         // scope 0 at $DIR/slice_filter.rs:+0:27: +0:28
 107 -         StorageLive(_4);                 // scope 0 at $DIR/slice_filter.rs:+0:30: +0:31
 108           _26 = deref_copy (*_2);          // scope 0 at $DIR/slice_filter.rs:+0:30: +0:31
 109           _4 = &((*_26).1: usize);         // scope 0 at $DIR/slice_filter.rs:+0:30: +0:31
 110 -         StorageLive(_5);                 // scope 0 at $DIR/slice_filter.rs:+0:33: +0:34
 111           _27 = deref_copy (*_2);          // scope 0 at $DIR/slice_filter.rs:+0:33: +0:34
 112           _5 = &((*_27).2: usize);         // scope 0 at $DIR/slice_filter.rs:+0:33: +0:34
 113 -         StorageLive(_6);                 // scope 0 at $DIR/slice_filter.rs:+0:36: +0:37
 114           _28 = deref_copy (*_2);          // scope 0 at $DIR/slice_filter.rs:+0:36: +0:37
 115           _6 = &((*_28).3: usize);         // scope 0 at $DIR/slice_filter.rs:+0:36: +0:37
 116           StorageLive(_7);                 // scope 1 at $DIR/slice_filter.rs:+0:40: +0:56
 117           StorageLive(_8);                 // scope 1 at $DIR/slice_filter.rs:+0:40: +0:46
 118           StorageLive(_9);                 // scope 1 at $DIR/slice_filter.rs:+0:40: +0:41
 119           _9 = &_3;                        // scope 1 at $DIR/slice_filter.rs:+0:40: +0:41
 120           StorageLive(_10);                // scope 1 at $DIR/slice_filter.rs:+0:45: +0:46
 121           StorageLive(_11);                // scope 1 at $DIR/slice_filter.rs:+0:45: +0:46
 122           _11 = _5;                        // scope 1 at $DIR/slice_filter.rs:+0:45: +0:46
 123           _10 = &_11;                      // scope 1 at $DIR/slice_filter.rs:+0:45: +0:46
 124 -         StorageLive(_29);                // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 125           _31 = deref_copy (*_9);          // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 126 -         _29 = _31;                       // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 127 -         StorageLive(_30);                // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 128           _32 = deref_copy (*_10);         // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 129 -         _30 = _32;                       // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 130           StorageLive(_33);                // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 131 -         _33 = (*_29);                    // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 132 +         _33 = (*_31);                    // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 133           StorageLive(_34);                // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 134 -         _34 = (*_30);                    // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 135 +         _34 = (*_32);                    // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 136           _8 = Le(move _33, move _34);     // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 137           StorageDead(_34);                // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 138           StorageDead(_33);                // scope 3 at $SRC_DIR/core/src/cmp.rs:LL:COL
 139 -         StorageDead(_30);                // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 140 -         StorageDead(_29);                // scope 2 at $SRC_DIR/core/src/cmp.rs:LL:COL
 141           StorageDead(_11);                // scope 1 at $DIR/slice_filter.rs:+0:45: +0:46
 142           StorageDead(_10);                // scope 1 at $DIR/slice_filter.rs:+0:45: +0:46
 143           StorageDead(_9);                 // scope 1 at $DIR/slice_filter.rs:+0:45: +0:46
 144           switchInt(move _8) -> [0: bb4, otherwise: bb5]; // scope 1 at $DIR/slice_filter.rs:+0:40: +0:56
 145       }
 146
 147       bb1: {
 148           _0 = const true;                 // scope 1 at $DIR/slice_filter.rs:+0:40: +0:76
 149           goto -> bb3;                     // scope 1 at $DIR/slice_filter.rs:+0:40: +0:76
 150       }
 151
 152       bb2: {
 153           StorageLive(_16);                // scope 1 at $DIR/slice_filter.rs:+0:60: +0:76
 154           StorageLive(_17);                // scope 1 at $DIR/slice_filter.rs:+0:60: +0:66
 155           StorageLive(_18);                // scope 1 at $DIR/slice_filter.rs:+0:60: +0:61
 156           _18 = &_5;                       // scope 1 at $DIR/slice_filter.rs:+0:60: +0:61
 157           StorageLive(_19);                // scope 1 at $DIR/slice_filter.rs:+0:65: +0:66
 158           StorageLive(_20);                // scope 1 at $DIR/slice_filter.rs:+0:65: +0:66
 159           _20 = _3;                        // scope 1 at $DIR/slice_filter.rs:+0:65: +0:66
 160           _19 = &_20;                      // scope 1 at $DIR/slice_filter.rs:+0:65: +0:66
 161 -         StorageLive(_35);                // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 162           _37 = deref_copy (*_18);         // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 163 -         _35 = _37;                       // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 164 -         StorageLive(_36);                // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 165           _38 = deref_copy (*_19);         // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 166 -         _36 = _38;                       // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 167           StorageLive(_39);                // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 168 -         _39 = (*_35);                    // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 169 +         _39 = (*_37);                    // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 170           StorageLive(_40);                // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 171 -         _40 = (*_36);                    // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 172 +         _40 = (*_38);                    // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 173           _17 = Le(move _39, move _40);    // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 174           StorageDead(_40);                // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 175           StorageDead(_39);                // scope 5 at $SRC_DIR/core/src/cmp.rs:LL:COL
 176 -         StorageDead(_36);                // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 177 -         StorageDead(_35);                // scope 4 at $SRC_DIR/core/src/cmp.rs:LL:COL
 178           StorageDead(_20);                // scope 1 at $DIR/slice_filter.rs:+0:65: +0:66
 179           StorageDead(_19);                // scope 1 at $DIR/slice_filter.rs:+0:65: +0:66
 180           StorageDead(_18);                // scope 1 at $DIR/slice_filter.rs:+0:65: +0:66
 181           switchInt(move _17) -> [0: bb6, otherwise: bb7]; // scope 1 at $DIR/slice_filter.rs:+0:60: +0:76
 182       }
 183
 184       bb3: {
 185           StorageDead(_16);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 186           StorageDead(_7);                 // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 187 -         StorageDead(_6);                 // scope 0 at $DIR/slice_filter.rs:+0:75: +0:76
 188 -         StorageDead(_5);                 // scope 0 at $DIR/slice_filter.rs:+0:75: +0:76
 189 -         StorageDead(_4);                 // scope 0 at $DIR/slice_filter.rs:+0:75: +0:76
 190 -         StorageDead(_3);                 // scope 0 at $DIR/slice_filter.rs:+0:75: +0:76
 191           return;                          // scope 0 at $DIR/slice_filter.rs:+0:76: +0:76
 192       }
 193
 194       bb4: {
 195           _7 = const false;                // scope 1 at $DIR/slice_filter.rs:+0:40: +0:56
 196           StorageDead(_12);                // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 197           StorageDead(_8);                 // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 198           goto -> bb2;                     // scope 1 at $DIR/slice_filter.rs:+0:40: +0:56
 199       }
 200
 201       bb5: {
 202           StorageLive(_12);                // scope 1 at $DIR/slice_filter.rs:+0:50: +0:56
 203           StorageLive(_13);                // scope 1 at $DIR/slice_filter.rs:+0:50: +0:51
 204           _13 = &_6;                       // scope 1 at $DIR/slice_filter.rs:+0:50: +0:51
 205           StorageLive(_14);                // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 206           StorageLive(_15);                // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 207           _15 = _4;                        // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 208           _14 = &_15;                      // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 209 -         StorageLive(_41);                // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 210           _43 = deref_copy (*_13);         // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 211 -         _41 = _43;                       // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 212 -         StorageLive(_42);                // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 213           _44 = deref_copy (*_14);         // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 214 -         _42 = _44;                       // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 215           StorageLive(_45);                // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 216 -         _45 = (*_41);                    // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 217 +         _45 = (*_43);                    // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 218           StorageLive(_46);                // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 219 -         _46 = (*_42);                    // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 220 +         _46 = (*_44);                    // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 221           _12 = Le(move _45, move _46);    // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 222           StorageDead(_46);                // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 223           StorageDead(_45);                // scope 7 at $SRC_DIR/core/src/cmp.rs:LL:COL
 224 -         StorageDead(_42);                // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 225 -         StorageDead(_41);                // scope 6 at $SRC_DIR/core/src/cmp.rs:LL:COL
 226           StorageDead(_15);                // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 227           StorageDead(_14);                // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 228           StorageDead(_13);                // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 229           _7 = move _12;                   // scope 1 at $DIR/slice_filter.rs:+0:40: +0:56
 230           StorageDead(_12);                // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 231           StorageDead(_8);                 // scope 1 at $DIR/slice_filter.rs:+0:55: +0:56
 232           switchInt(move _7) -> [0: bb2, otherwise: bb1]; // scope 1 at $DIR/slice_filter.rs:+0:40: +0:76
 233       }
 234
 235       bb6: {
 236           _16 = const false;               // scope 1 at $DIR/slice_filter.rs:+0:60: +0:76
 237           goto -> bb8;                     // scope 1 at $DIR/slice_filter.rs:+0:60: +0:76
 238       }
 239
 240       bb7: {
 241           StorageLive(_21);                // scope 1 at $DIR/slice_filter.rs:+0:70: +0:76
 242           StorageLive(_22);                // scope 1 at $DIR/slice_filter.rs:+0:70: +0:71
 243           _22 = &_4;                       // scope 1 at $DIR/slice_filter.rs:+0:70: +0:71
 244           StorageLive(_23);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 245           StorageLive(_24);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 246           _24 = _6;                        // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 247           _23 = &_24;                      // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 248 -         StorageLive(_47);                // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 249           _49 = deref_copy (*_22);         // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 250 -         _47 = _49;                       // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 251 -         StorageLive(_48);                // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 252           _50 = deref_copy (*_23);         // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 253 -         _48 = _50;                       // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 254           StorageLive(_51);                // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 255 -         _51 = (*_47);                    // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 256 +         _51 = (*_49);                    // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 257           StorageLive(_52);                // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 258 -         _52 = (*_48);                    // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 259 +         _52 = (*_50);                    // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 260           _21 = Le(move _51, move _52);    // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 261           StorageDead(_52);                // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 262           StorageDead(_51);                // scope 9 at $SRC_DIR/core/src/cmp.rs:LL:COL
 263 -         StorageDead(_48);                // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 264 -         StorageDead(_47);                // scope 8 at $SRC_DIR/core/src/cmp.rs:LL:COL
 265           StorageDead(_24);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 266           StorageDead(_23);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 267           StorageDead(_22);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 268           _16 = move _21;                  // scope 1 at $DIR/slice_filter.rs:+0:60: +0:76
 269           goto -> bb8;                     // scope 1 at $DIR/slice_filter.rs:+0:60: +0:76
 270       }
 271
 272       bb8: {
 273           StorageDead(_21);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 274           StorageDead(_17);                // scope 1 at $DIR/slice_filter.rs:+0:75: +0:76
 275           _0 = move _16;                   // scope 1 at $DIR/slice_filter.rs:+0:40: +0:76
 276           goto -> bb3;                     // scope 1 at $DIR/slice_filter.rs:+0:40: +0:76
 277       }
 278   }
 279