-// let mut _1: &'12ds S1;
-// let mut _2: &'12ds S1;
-// let mut _3: D1<'12ds, '10s>;
-// let mut _4: &'12ds S1;
-// let mut _5: &'12ds S1;
-// let mut _6: S1;
-// let mut _7: &'10s S1;
-// let mut _8: &'10s S1;
-// let mut _9: S1;
-// let mut _10: &'10s S1;
-// let mut _11: &'12ds S1;
-//
+// let mut _1: &'15ds S1;
+// let mut _2: D1<'15ds, '13s>;
+// let mut _3: &'15ds S1;
+// let mut _4: &'15ds S1;
+// let _5: S1;
+// let mut _6: &'13s S1;
+// let mut _7: &'13s S1;
+// let _8: S1;