| 12345678910111213141516171819202122 |
- discard """
- action: compile
- errormsg: "type mismatch: got <proc (x: int){.gcsafe.}>"
- line: 21
- """
- type
- Effect1 = object
- Effect2 = object
- Effect3 = object
- proc test(fnc: proc(x: int): void {.forbids: [Effect2].}) {.tags: [Effect1, Effect3, RootEffect].} =
- fnc(1)
- proc t1(x: int): void = echo $x
- proc t2(x: int): void {.tags: [Effect2].} = echo $x
- proc t3(x: int): void {.tags: [Effect3].} = echo $x
- test(t1)
- test(t3)
- test(t2)
|
