|  | //! 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 | 
|  | } |