1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/error-codes/E0225.rs b/src/test/ui/error-codes/E0225.rs
new file mode 100644
index 000000000..b50f68e64
--- /dev/null
+++ b/src/test/ui/error-codes/E0225.rs
@@ -0,0 +1,10 @@
+#![feature(trait_alias)]
+
+trait Foo = std::io::Read + std::io::Write;
+
+fn main() {
+    let _: Box<dyn std::io::Read + std::io::Write>;
+    //~^ ERROR only auto traits can be used as additional traits in a trait object [E0225]
+    let _: Box<dyn Foo>;
+    //~^ ERROR only auto traits can be used as additional traits in a trait object [E0225]
+}