trait Trait {}
fn f<F:Trait(isize) -> isize>(x: F) {}
-//~^ ERROR wrong number of type arguments: expected 0, found 1
-//~| ERROR no associated type `Output`
+//~^ ERROR E0244
+//~| NOTE expected no type arguments, found 1
+//~| ERROR associated type `Output` not found
fn main() {}