1 files changed, 6 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-38404.rs b/src/test/ui/issues/issue-38404.rs
new file mode 100644
index 000000000..1a92acc34
--- /dev/null
+++ b/src/test/ui/issues/issue-38404.rs
@@ -0,0 +1,6 @@
+trait A<T>: std::ops::Add<Self> + Sized {}
+trait B<T>: A<T> {}
+trait C<T>: A<dyn B<T, Output=usize>> {}
+//~^ ERROR the trait `B` cannot be made into an object
+
+fn main() {}