// Regression test for #102800
//
// Here we are generating higher-ranked region constraints when normalizing and relating closure
// input types. Previously this was an ICE in the error path because we didn't register enough
// diagnostic information to render the higher-ranked subtyping error.

// check-fail

trait Trait {
    type Ty;
}

impl Trait for &'static () {
    type Ty = ();
}

fn main() {
    let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
    //~^ ERROR implementation of `Trait` is not general enough
    //~| ERROR implementation of `Trait` is not general enough
}