//! Tests that all lifetime parameters in struct (`S`) and enum (`E`) constructors are
//! treated as early bound, similar to associated items, rather than late bound as in manual
//! constructors.

struct S<'a, 'b>(&'a u8, &'b u8);
enum E<'a, 'b> {
    V(&'a u8),
    U(&'b u8),
}

fn main() {
    S(&0, &0); // OK
    S::<'static>(&0, &0);
    //~^ ERROR struct takes 2 lifetime arguments
    S::<'static, 'static, 'static>(&0, &0);
    //~^ ERROR struct takes 2 lifetime arguments
    E::V(&0); // OK
    E::V::<'static>(&0);
    //~^ ERROR enum takes 2 lifetime arguments
    E::V::<'static, 'static, 'static>(&0);
    //~^ ERROR enum takes 2 lifetime arguments
}