// Test that NLL generates proper error spans for trait HRTB errors
//
//@ compile-flags:-Zno-leak-check

trait Foo<'a> {}

fn make_foo<'a>() -> Box<dyn Foo<'a>> {
    panic!()
}

fn main() {
    let x: Box<dyn Foo<'static>> = make_foo();
    let y: Box<dyn for<'a> Foo<'a>> = x; //~ ERROR mismatched types [E0308]
}