Rollup merge of #104194 - BoxyUwU:early_binder_docs, r=compiler-errors

Manishearth · web-flow · commit c6595ea22a5f · 2022-11-10T10:47:41.000-05:00
`EarlyBinder` docs
diff --git a/compiler/rustc_middle/src/ty/subst.rs b/compiler/rustc_middle/src/ty/subst.rs
@@ -506,6 +506,9 @@ impl<'tcx, T: TypeVisitable<'tcx>> TypeVisitable<'tcx> for &'tcx ty::List<T> {
     }
 }
 
+/// Similar to [`super::Binder`] except that it tracks early bound generics, i.e. `struct Foo<T>(T)`
+/// needs `T` substituted immediately. This type primarily exists to avoid forgetting to call
+/// `subst`.
 #[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Debug)]
 #[derive(Encodable, Decodable, HashStable)]
 pub struct EarlyBinder<T>(pub T);

Original file line number	Diff line number	Diff line change
`@@ -506,6 +506,9 @@ impl<'tcx, T: TypeVisitable<'tcx>> TypeVisitable<'tcx> for &'tcx ty::List<T> {`
`506`	`506`	`}`
`507`	`507`	`}`
`508`	`508`
	`509`	+/// Similar to [`super::Binder`] except that it tracks early bound generics, i.e. `struct Foo<T>(T)`
	`510`	+/// needs `T` substituted immediately. This type primarily exists to avoid forgetting to call
	`511`	+/// `subst`.
`509`	`512`	`#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Debug)]`
`510`	`513`	`#[derive(Encodable, Decodable, HashStable)]`
`511`	`514`	`pub struct EarlyBinder<T>(pub T);`