fn foo<'a, 'b>() where for<'c> 'a : 'b {}

type T = () + A;

type X = ;

fn bar() {
    let a = b as ;
}

type T1 = [
type T2 = &;
type T3 = *;
type T4 = for<;
type T5 = fn;
type T6 = fn(;
type T7 = unsafe fn;
type T8 = extern "C" fn;
type T9 = extern "C" ;
