Add rustc_on_unimplemented to Subst

jackh726 · jackh726 · commit 06a1e8854c95 · 2022-05-14T10:16:59.000-04:00
diff --git a/compiler/rustc_middle/src/ty/subst.rs b/compiler/rustc_middle/src/ty/subst.rs
@@ -499,6 +499,7 @@ impl<'tcx> TypeFoldable<'tcx> for &'tcx ty::List<Ty<'tcx>> {
 }
 
 // Just call `foo.subst(tcx, substs)` to perform a substitution across `foo`.
+#[rustc_on_unimplemented(message = "Calling `subst` must now be done through an `EarlyBinder`")]
 pub trait Subst<'tcx>: Sized {
     type Inner;
 

Original file line number	Diff line number	Diff line change
`@@ -499,6 +499,7 @@ impl<'tcx> TypeFoldable<'tcx> for &'tcx ty::List<Ty<'tcx>> {`
`499`	`499`	`}`
`500`	`500`
`501`	`501`	// Just call `foo.subst(tcx, substs)` to perform a substitution across `foo`.
	`502`	+#[rustc_on_unimplemented(message = "Calling `subst` must now be done through an `EarlyBinder`")]
`502`	`503`	`pub trait Subst<'tcx>: Sized {`
`503`	`504`	`type Inner;`
`504`	`505`