mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-29 01:14:41 +00:00
0a212f97a5
* properly disallow unresolved generic proc values * mirrors semoperand * shallow efTypeAllowed, add back special case
11 lines
258 B
Nim
11 lines
258 B
Nim
proc wrap[T]() =
|
|
proc notConcrete[T](x, y: int): int =
|
|
var dummy: T
|
|
result = x - y
|
|
|
|
var x: proc (x, y: T): int
|
|
x = notConcrete #[tt.Error
|
|
^ 'notConcrete' doesn't have a concrete type, due to unspecified generic parameters.]#
|
|
|
|
wrap[int]()
|