-// let mut _1: &'12ds S1;
-// let mut _2: D1<'12ds, '10s>;
-// let mut _3: &'12ds S1;
-// let mut _4: &'12ds S1;
-// let mut _5: S1;
-// let mut _6: &'10s S1;
-// let mut _7: &'10s S1;
-// let mut _8: 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;