summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/overflow/recursive-self-normalization.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/new-solver/overflow/recursive-self-normalization.rs')
-rw-r--r--tests/ui/traits/new-solver/overflow/recursive-self-normalization.rs16
1 files changed, 0 insertions, 16 deletions
diff --git a/tests/ui/traits/new-solver/overflow/recursive-self-normalization.rs b/tests/ui/traits/new-solver/overflow/recursive-self-normalization.rs
deleted file mode 100644
index d15df7dea..000000000
--- a/tests/ui/traits/new-solver/overflow/recursive-self-normalization.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-//~ ERROR overflow evaluating the requirement `<T as Foo>::Assoc` [E0275]
-// compile-flags: -Ztrait-solver=next
-
-trait Foo {
- type Assoc;
-}
-
-trait Bar {}
-fn needs_bar<S: Bar>() {}
-
-fn test<T: Foo<Assoc = <T as Foo>::Assoc>>() {
- needs_bar::<T::Assoc>();
- //~^ ERROR overflow evaluating the requirement `<T as Foo>::Assoc: Bar`
-}
-
-fn main() {}