Explain fold_list

Marwes · Marwes · commit a1586f1d2b17 · 2020-01-13T09:17:10.000+01:00
diff --git a/src/librustc/ty/structural_impls.rs b/src/librustc/ty/structural_impls.rs
@@ -1061,6 +1061,11 @@ impl<'tcx> TypeFoldable<'tcx> for InferConst<'tcx> {
     }
 }
 
+// Does the equivalent of
+// ```
+// let v = self.iter().map(|p| p.fold_with(folder)).collect::<SmallVec<[_; 8]>>();
+// folder.tcx().intern_*(&v)
+// ```
 fn fold_list<'tcx, F, T>(
     list: &'tcx ty::List<T>,
     folder: &mut F,

Original file line number	Diff line number	Diff line change
`@@ -1061,6 +1061,11 @@ impl<'tcx> TypeFoldable<'tcx> for InferConst<'tcx> {`
`1061`	`1061`	`}`
`1062`	`1062`	`}`
`1063`	`1063`
	`1064`	`+// Does the equivalent of`
	`1065`	+// ```
	`1066`	`+// let v = self.iter().map(\|p\| p.fold_with(folder)).collect::<SmallVec<[_; 8]>>();`
	`1067`	`+// folder.tcx().intern_*(&v)`
	`1068`	+// ```
`1064`	`1069`	`fn fold_list<'tcx, F, T>(`
`1065`	`1070`	`list: &'tcx ty::List<T>,`
`1066`	`1071`	`folder: &mut F,`