summary refs log tree commit diff
diff options
context:
space:
mode:
authorJack Huey <31162821+jackh726@users.noreply.github.com>2022-05-10 22:40:43 -0400
committerJack Huey <31162821+jackh726@users.noreply.github.com>2022-05-14 10:16:59 -0400
commit06a1e8854c95d5be5db0bebe4630c691b604e792 (patch)
tree5a9166d6aefd3ac4c6eb53e17e9e3e42590dc524
parent91afd0263269c44d57fe127f4c20748b5747113b (diff)
downloadrust-06a1e8854c95d5be5db0bebe4630c691b604e792.tar.gz
rust-06a1e8854c95d5be5db0bebe4630c691b604e792.zip
Add rustc_on_unimplemented to Subst
-rw-r--r--compiler/rustc_middle/src/ty/subst.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/subst.rs b/compiler/rustc_middle/src/ty/subst.rs
index 9053d744415..48c71113d50 100644
--- 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;