summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/nested-obligations-with-bound-vars-gat.rs
diff options
context:
space:
mode:
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.rs43
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
-}