type a = bool;
type b = str;
type c = result::Result;
type d = <::i32 as Vec<bool>>::MAX;
type e: Iterator + 'static = bool;
type f = StaticVec<T, { N }>;