summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/two_tait_defining_each_other3.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/two_tait_defining_each_other3.rs')
-rw-r--r--src/test/ui/impl-trait/two_tait_defining_each_other3.rs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/ui/impl-trait/two_tait_defining_each_other3.rs b/src/test/ui/impl-trait/two_tait_defining_each_other3.rs
deleted file mode 100644
index 37f8ae1b8..000000000
--- a/src/test/ui/impl-trait/two_tait_defining_each_other3.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-type A = impl Foo;
-type B = impl Foo;
-
-trait Foo {}
-
-fn muh(x: A) -> B {
- if false {
- return x; // B's hidden type is A (opaquely)
- //~^ ERROR opaque type's hidden type cannot be another opaque type
- }
- Bar // A's hidden type is `Bar`, because all the return types are compared with each other
-}
-
-struct Bar;
-impl Foo for Bar {}
-
-fn main() {}