4b7655fd10
This also provides the initial steps towards support for type class "filtered" type inference fixes an "ordinal type expected" ICE, related to the use of static params
11 lines
164 B
Nim
11 lines
164 B
Nim
discard """
|
|
line: 10
|
|
errormsg: "type mismatch: got (typedesc[float], string)"
|
|
"""
|
|
|
|
proc foo(T: typedesc; some: T) =
|
|
echo($some)
|
|
|
|
foo int, 4
|
|
foo float, "bad"
|
|
|