a0eca75182* ensure capitalize doesn't take an inferred sink parameter * sink parameter inference: first version, for now disabled. Changed that sink parameters can be consumed multiple times in order to adhere to our spec. * sink inference can now be disabled with .nosinks; sometimes for proc type interop this is required * fixes yet another critical DFA bug * better implementation that also understands if expressions etc * document sink parameter inference and allow for global disabling
15 lines
429 B
Nim
15 lines
429 B
Nim
discard """
|
|
cmd: "nim c --newruntime $file"
|
|
errormsg: "'=' is not available for type <owned Foo>; requires a copy because it's not the last read of 'a'; another read is done here: tconsume_twice.nim(13, 10); routine: consumeTwice"
|
|
line: 11
|
|
"""
|
|
type
|
|
Foo = ref object
|
|
|
|
proc use(a: owned Foo): bool = discard
|
|
proc consumeTwice(a: owned Foo): owned Foo =
|
|
if use(a):
|
|
return
|
|
return a
|
|
|
|
assert consumeTwice(Foo()) != nil
|