mod common;

use common::*;

fn invariant_fail_covariant<'a>() {
    let _in: In<Lifetime<'a>> = In(
        Invariant::<Lifetime<'static>>::default(),
    );
}

fn main() {}