diff options
Diffstat (limited to 'tests/ui/nll/issue-78561.rs')
-rw-r--r-- | tests/ui/nll/issue-78561.rs | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/ui/nll/issue-78561.rs b/tests/ui/nll/issue-78561.rs new file mode 100644 index 000000000..55147fcd1 --- /dev/null +++ b/tests/ui/nll/issue-78561.rs @@ -0,0 +1,23 @@ +// check-pass +#![feature(type_alias_impl_trait)] + +pub trait Trait { + type A; + + fn f() -> Self::A; +} + +pub trait Tr2<'a, 'b> {} + +pub struct A<T>(T); +pub trait Tr { + type B; +} + +impl<'a, 'b, T: Tr<B = dyn Tr2<'a, 'b>>> Trait for A<T> { + type A = impl core::fmt::Debug; + + fn f() -> Self::A {} +} + +fn main() {} |