fn f<F:Nonexist(isize) -> isize>(x: F) {}
//~^ ERROR cannot find trait `Nonexist`

type Typedef = isize;

fn g<F:Typedef(isize) -> isize>(x: F) {}
//~^ ERROR expected trait, found type alias `Typedef`

fn main() {}