trait T0 {}
trait T1: T0 {}

trait T2 {}

impl<'a> T0 for &'a (dyn T2 + 'static) {}

impl T1 for &dyn T2 {}
//~^ ERROR mismatched types

fn main() {}