diff options
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.rs | 16 |
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() {} |