summaryrefslogtreecommitdiffstats
path: root/tests/ui/type-alias-impl-trait/issue-74761-2.rs
blob: f582592e9bcc8d4cadd53cf2728bf583569b968b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#![feature(impl_trait_in_assoc_type)]

pub trait A {
    type B;
    fn f(&self) -> Self::B;
}
impl<'a, 'b> A for () {
    //~^ ERROR the lifetime parameter `'a` is not constrained
    //~| ERROR the lifetime parameter `'b` is not constrained
    type B = impl core::fmt::Debug;

    fn f(&self) -> Self::B {}
}

fn main() {}