5917c2d5b7* fix #15836 proc arg return type auto unexpectly match proc with concrete type * fix #16244 * add test case for #12869
11 lines
323 B
Nim
11 lines
323 B
Nim
discard """
|
|
errormsg: "type mismatch: got <string> but expected 'int'"
|
|
line: 11
|
|
"""
|
|
|
|
proc takesProc[T](x: T, f: proc(x: T): int) =
|
|
echo f(x) + 2
|
|
|
|
takesProc(1, proc (a: int): int = 2) # ok, prints 4
|
|
takesProc(1, proc (a: auto): auto = 2) # ok, prints 4
|
|
takesProc(1, proc (a: auto): auto = "uh uh") # prints garbage
|