tests/language-feature/higher-order-functions/inference-generic.slang


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//DISABLE_TEST:SIMPLE:
// Disabled because we don't actually perform this inference yet

func foo(f : functype (float) -> int) -> int
{
    return f(0);
}

int boo<T>(T)
{
    return 1;
}

int zoo()
{
    // We should infer that we want boo<float>
    return foo(boo);
}