#![feature(rustc_attrs)]
trait Trait<'x, 's, T> where T: 'x,
's: {
}
#[rustc_outlives]
struct Foo<'a, 'b, A> //~ ERROR rustc_outlives
{
foo: Box<dyn Trait<'a, 'b, A>>
fn main() {}