diff options
Diffstat (limited to 'tests/ui/traits/new-solver/nested-obligations-with-bound-vars-gat.rs')
-rw-r--r-- | tests/ui/traits/new-solver/nested-obligations-with-bound-vars-gat.rs | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/tests/ui/traits/new-solver/nested-obligations-with-bound-vars-gat.rs b/tests/ui/traits/new-solver/nested-obligations-with-bound-vars-gat.rs deleted file mode 100644 index 92bad9590..000000000 --- a/tests/ui/traits/new-solver/nested-obligations-with-bound-vars-gat.rs +++ /dev/null @@ -1,43 +0,0 @@ -// check-pass -// compile-flags: -Ztrait-solver=next -// Issue 96230 - -use std::fmt::Debug; - -trait Classic { - type Assoc; -} - -trait Gat { - type Assoc<'a>; -} - -struct Foo; - -impl Classic for Foo { - type Assoc = (); -} - -impl Gat for Foo { - type Assoc<'i> = (); -} - -fn classic_debug<T: Classic>(_: T) -where - T::Assoc: Debug, -{ -} - -fn gat_debug<T: Gat>(_: T) -where - for<'a> T::Assoc<'a>: Debug, -{ -} - -fn main() { - classic_debug::<Foo>(Foo); // fine - classic_debug(Foo); // fine - - gat_debug::<Foo>(Foo); // fine - gat_debug(Foo); // boom -} |