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