Rollup merge of #95504 - jyn514:library-alias, r=Mark-Simulacrum

[rust.git] / src / test / ui / impl-trait / recursive-type-alias-impl-trait-declaration.rs

diff --git a/src/test/ui/impl-trait/recursive-type-alias-impl-trait-declaration.rs b/src/test/ui/impl-trait/recursive-type-alias-impl-trait-declaration.rs
index bdabc13c36a96ee17791ea11dd5315156be89cdd..ad0a003e87948ec9279fce45edcbee650754dedc 100644 (file)
--- a/src/test/ui/impl-trait/recursive-type-alias-impl-trait-declaration.rs
+++ b/src/test/ui/impl-trait/recursive-type-alias-impl-trait-declaration.rs
@@ -2,36 +2,18 @@
 
 #![feature(type_alias_impl_trait)]
 
-mod direct {
-    type Foo = impl PartialEq<(Foo, i32)>;
+type Foo = impl PartialEq<(Foo, i32)>;
 
-    struct Bar;
+struct Bar;
 
-    impl PartialEq<(Foo, i32)> for Bar {
-        fn eq(&self, _other: &(Foo, i32)) -> bool {
-            true
-        }
-    }
-
-    fn foo() -> Foo {
-        Bar
+impl PartialEq<(Bar, i32)> for Bar {
+    fn eq(&self, _other: &(Bar, i32)) -> bool {
+        true
     }
 }
 
-mod indirect {
-    type Foo = impl PartialEq<(Foo, i32)>;
-
-    struct Bar;
-
-    impl PartialEq<(Bar, i32)> for Bar {
-        fn eq(&self, _other: &(Bar, i32)) -> bool {
-            true
-        }
-    }
-
-    fn foo() -> Foo {
-        Bar
-    }
+fn foo() -> Foo {
+    Bar
 }
 
 fn main() {}