1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui/specialization/issue-45814.rs b/tests/ui/specialization/issue-45814.rs
new file mode 100644
index 000000000..fce236390
--- /dev/null
+++ b/tests/ui/specialization/issue-45814.rs
@@ -0,0 +1,13 @@
+//~ ERROR overflow evaluating the requirement `T: Trait<_>`
+// revisions: current negative
+#![feature(specialization)]
+#![cfg_attr(negative, feature(with_negative_coherence))]
+#![allow(incomplete_features)]
+
+pub trait Trait<T> {}
+
+default impl<T, U> Trait<T> for U {}
+
+impl<T> Trait<<T as Iterator>::Item> for T {}
+
+fn main() {}