summary refs log blame commit diff stats
path: root/tests/reject/tconstraints.nim
blob: aafe86911efbea434bc1ad5dc14cf6a5e7f9d3d8 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

















                                                                     
discard """
  line: 15
  errormsg: "type mismatch: got (int)"
"""

proc myGenericProc[T: object|tuple|ptr|ref|distinct](x: T): string = 
  result = $x

type
  TMyObj = tuple[x, y: int]

var
  x: TMyObj

assert myGenericProc(232) == "232"
assert myGenericProc(x) == "(x: 0, y: 0)"