tests/arc/twrong_sinkinference.nim


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

discard """
  cmd: "nim c --gc:arc $file"
  errormsg: "type mismatch: got <proc (a: string, b: sink string){.noSideEffect, gcsafe, locks: 0.}>"
  line: 18
"""

type
  Foo = proc (a, b: string)

proc take(x: Foo) =
  x("a", "b")

proc willSink(a, b: string) = # {.nosinks.} =
  var arr: array[3, string]
  var x = a
  arr[0] = b

take willSink