summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/impl-wf-cycle-1.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-types/impl-wf-cycle-1.rs')
-rw-r--r--src/test/ui/associated-types/impl-wf-cycle-1.rs27
1 files changed, 0 insertions, 27 deletions
diff --git a/src/test/ui/associated-types/impl-wf-cycle-1.rs b/src/test/ui/associated-types/impl-wf-cycle-1.rs
deleted file mode 100644
index 365eddaed..000000000
--- a/src/test/ui/associated-types/impl-wf-cycle-1.rs
+++ /dev/null
@@ -1,27 +0,0 @@
-// Regression test for #79714
-
-trait Baz {}
-impl Baz for () {}
-impl<T> Baz for (T,) {}
-
-trait Fiz {}
-impl Fiz for bool {}
-
-trait Grault {
- type A;
- type B;
-}
-
-impl<T: Grault> Grault for (T,)
-//~^ ERROR overflow evaluating the requirement `<(T,) as Grault>::A == _`
-where
- Self::A: Baz,
- Self::B: Fiz,
-{
- type A = ();
- type B = bool;
-}
-
-fn main() {
- let x: <(_,) as Grault>::A = ();
-}