#![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() {}