1 // Test that dyn Foo<Bar = T> is invariant with respect to T.
2 // Failure to enforce invariance here can be weaponized, see #71550 for details.
8 fn make() -> Box<dyn Foo<Bar = &'static u32>> {
12 fn take<'a>(_: &'a u32) {
13 let _: Box<dyn Foo<Bar = &'a u32>> = make();
14 //~^ ERROR mismatched types [E0308]