type a = bool;
type a<'a> = bool;
type a<T> = bool;
type a<'a, 'b: 'a, 'c: 'a + 'b> = bool;
type a<'a, T: 'a> = bool;
type a<T: Sized> = bool;
type b<T: ?Sized> = bool;

type a<T: for<'a> ::iter<bool>::Iterator<A, B, C, B=A, C: A+B> + Sized> = bool;
type a<T: Fn(A, B) -> ()> = bool;
type a<T = u8> = bool;

type a<const N: usize> = bool;
impl a for StaticVec<T, { N }> {}