1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
discard """
cmd: "nim check $file"
action: reject
nimout: '''
twrongdefaultvalue.nim(20, 12) template/generic instantiation of `doit` from here
twrongdefaultvalue.nim(17, 37) Error: type mismatch: got <proc (p: int): Item[initItem.T]> but expected 'Item[system.string]'
twrongdefaultvalue.nim(25, 3) template/generic instantiation of `foo` from here
twrongdefaultvalue.nim(23, 33) Error: type mismatch: got <string> but expected 'int'
'''
"""
block: # issue #21258
type Item[T] = object
pos: int
proc initItem[T](p:int=10000) : Item[T] =
result = Item[T](p)
proc doit[T](x:Item[T], s:Item[T]=initItem) : string =
return $x.pos
let x = Item[string](pos:100)
echo doit(x)
block: # issue #21258, reduced case
proc foo[T](x: seq[T], y: T = "foo") =
discard
foo @[1, 2, 3]
|
