carbon-lang/executable_semantics/testdata/generic_function_fail1.golden

COMPILATION ERROR: executable_semantics/testdata/generic_function_fail1.carbon:12: type error in argument deduction
expected: i32
actual: Bool
EXIT CODE: 255