1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/error-codes/E0033-teach.rs b/tests/ui/error-codes/E0033-teach.rs
new file mode 100644
index 000000000..289561bad
--- /dev/null
+++ b/tests/ui/error-codes/E0033-teach.rs
@@ -0,0 +1,14 @@
+// compile-flags: -Z teach
+trait SomeTrait {
+    fn foo(&self);
+}
+struct S;
+impl SomeTrait for S {
+    fn foo(&self) {}
+}
+fn main() {
+    let trait_obj: &dyn SomeTrait = &S;
+
+    let &invalid = trait_obj;
+    //~^ ERROR E0033
+}