diff options
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/issue-72793.rs')
-rw-r--r-- | src/test/ui/type-alias-impl-trait/issue-72793.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/type-alias-impl-trait/issue-72793.rs b/src/test/ui/type-alias-impl-trait/issue-72793.rs deleted file mode 100644 index 828c87114..000000000 --- a/src/test/ui/type-alias-impl-trait/issue-72793.rs +++ /dev/null @@ -1,25 +0,0 @@ -// check-pass -// compile-flags: -Zmir-opt-level=3 - -#![feature(type_alias_impl_trait)] - -trait T { type Item; } - -type Alias<'a> = impl T<Item = &'a ()>; - -struct S; -impl<'a> T for &'a S { - type Item = &'a (); -} - -fn filter_positive<'a>() -> Alias<'a> { - &S -} - -fn with_positive(fun: impl Fn(Alias<'_>)) { - fun(filter_positive()); -} - -fn main() { - with_positive(|_| ()); -} |