tests/ui/typeck/apit-with-error-type-in-sig.rs


1
2
3
4
5
6
7
8

type Foo = Bar;
//~^ ERROR cannot find type `Bar` in this scope

fn check(f: impl FnOnce(Foo), val: Foo) {
    f(val);
}

fn main() {}