type X = u32<'static>; //~ ERROR E0109 fn main() {}