mod common; use common::*; fn contravariant_fail<'a>() { let _contra: Contra<Lifetime<'a>> = Contra( Contravariant::<Lifetime<'static>>::default(), ); } fn main() {}