diff options
| author | Araq <rumpf_a@web.de> | 2015-03-16 23:16:56 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2015-03-16 23:16:56 +0100 |
| commit | cc26308044d9098db35e9f985659519b5770eb3b (patch) | |
| tree | 20babad64e53a5f04d28aced44d2bebea8852c05 /tests/notnil/tnotnil4.nim | |
| parent | bf90b9c8338b7aedad62e4978e50b5227e8a29b1 (diff) | |
| download | Nim-cc26308044d9098db35e9f985659519b5770eb3b.tar.gz | |
fixes #2352
Diffstat (limited to 'tests/notnil/tnotnil4.nim')
| -rw-r--r-- | tests/notnil/tnotnil4.nim | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/notnil/tnotnil4.nim b/tests/notnil/tnotnil4.nim index 23968ee48..2fa888357 100644 --- a/tests/notnil/tnotnil4.nim +++ b/tests/notnil/tnotnil4.nim @@ -11,4 +11,10 @@ proc doit() = if x[0] != nil: check(x[0]) -doit() \ No newline at end of file +doit() + +# bug #2352 + +proc p(x: proc() {.noconv.} not nil) = discard +p(proc() {.noconv.} = discard) +# Error: cannot prove 'proc () {.noconv.} = discard ' is not nil |