proc myIntProc(x: int, y: int): int = x*2

proc myIntProc(x: int): string = $x

template typeTest(myCall:untyped): untyped =
    let something: int = myCall

when(compiles(typeTest(myIntProc(5, 5)))):
    let a = myIntProc(5, 5)
else:
    let a = -1

echo a