carbon-lang/executable_semantics/testdata/generic_function_fail1.golden

ERROR: 10: type error in argument deduction
expected: Int
actual: Bool
EXIT CODE: 255