diff options
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/issue-63355.rs')
-rw-r--r-- | src/test/ui/type-alias-impl-trait/issue-63355.rs | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/src/test/ui/type-alias-impl-trait/issue-63355.rs b/src/test/ui/type-alias-impl-trait/issue-63355.rs deleted file mode 100644 index 7066a0535..000000000 --- a/src/test/ui/type-alias-impl-trait/issue-63355.rs +++ /dev/null @@ -1,46 +0,0 @@ -#![feature(type_alias_impl_trait)] -// check-pass - -pub trait Foo {} - -pub trait Bar { - type Foo: Foo; - - fn foo() -> Self::Foo; -} - -pub trait Baz { - type Foo: Foo; - type Bar: Bar<Foo = Self::Foo>; - - fn foo() -> Self::Foo; - fn bar() -> Self::Bar; -} - -impl Foo for () {} - -impl Bar for () { - type Foo = FooImpl; - - fn foo() -> Self::Foo { - () - } -} - -pub type FooImpl = impl Foo; -pub type BarImpl = impl Bar<Foo = FooImpl>; - -impl Baz for () { - type Foo = FooImpl; - type Bar = BarImpl; - - fn foo() -> Self::Foo { - () - } - - fn bar() -> Self::Bar { - () - } -} - -fn main() {} |