discard """
  file: "tbind1.nim"
  output: "3"
"""
# Test the new ``bind`` keyword for templates

proc p1(x: int8, y: int): int = return x + y

template tempBind(x, y: expr): expr = 
  bind p1(x, y) 

proc p1(x: int, y: int8): int = return x - y

# This is tricky: the call to ``p1(1'i8, 2'i8)`` should not fail in line 6, 
# because it is not ambiguous there. But it is ambiguous after line 8. 

echo tempBind(1'i8, 2'i8) #OUT 3