mod common;

use common::*;

fn covariant_fail<'a>() {
    let _co: Co<Lifetime<'static>> = Co(
        Covariant::<Lifetime<'a>>::default(),
    );
}

fn main() {}