summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/issue-63355.rs
diff options
context:
space:
mode:
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.rs46
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() {}