diff options
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/issue-57611-trait-alias.rs')
-rw-r--r-- | src/test/ui/type-alias-impl-trait/issue-57611-trait-alias.rs | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/type-alias-impl-trait/issue-57611-trait-alias.rs b/src/test/ui/type-alias-impl-trait/issue-57611-trait-alias.rs deleted file mode 100644 index cad3e0f66..000000000 --- a/src/test/ui/type-alias-impl-trait/issue-57611-trait-alias.rs +++ /dev/null @@ -1,26 +0,0 @@ -// check-pass -// Regression test for issue #57611 -// Ensures that we don't ICE - -#![feature(trait_alias)] -#![feature(type_alias_impl_trait)] - -trait Foo { - type Bar: Baz<Self, Self>; - - fn bar(&self) -> Self::Bar; -} - -struct X; - -impl Foo for X { - type Bar = impl Baz<Self, Self>; - - fn bar(&self) -> Self::Bar { - |x| x - } -} - -trait Baz<A: ?Sized, B: ?Sized> = Fn(&A) -> &B; - -fn main() {} |