carbon-lang/executable_semantics/testdata/funptr1.golden

********** source program **********
fn add1 Int: x -> Int {
return (x + 1);

}
fn main () -> Int {
var fn Int -> Int: f = add1;
return f(0 = (- 1));

}
********** type checking **********
--- step exp Int --->
--- step exp Int --->
--- step exp Int --->
--- step exp Int --->
--- step exp Int --->
--- step exp Int --->
--- step exp fn Int -> Int --->
--- step exp Int --->
--- handle value Int with fn Int -> Int<1>(Int,) --->
--- step exp Int --->
--- handle value Int with fn Int -> Int<2>(Int,Int,) --->
11: type error in call
expected: Int
actual: Tuple(0 = Int)