#![feature(rustc_attrs)]

trait Trait<'x, T> where T: 'x {
}

#[rustc_outlives]
struct Foo<'a, A> //~ ERROR rustc_outlives
{
    foo: Box<dyn Trait<'a, A>>
}

fn main() {}