//@ check-fail
//
// Regression for https://github.com/rust-lang/rust/issues/117446

pub struct Repeated<T>(Vec<T>);

trait Foo<'a> {
    fn outer<D>() -> Option<()>;
}

impl<'a, T> Foo<'a> for Repeated<T> {
    fn outer() -> Option<()> {
        //~^ ERROR  associated function `outer` has 0 type parameters but its trait declaration has 1 type parameter [E0049]
        //~^^ ERROR mismatched types [E0308]
        fn inner<Q>(value: Option<()>) -> Repeated<Q> {
            match value {
                _ => Self(unimplemented!()),
                //~^ ERROR can't reference `Self` constructor from outer item [E0401]
            }
        }
    }
}

fn main() {}