diff options
| author | Dominik Picheta <dominikpicheta@googlemail.com> | 2015-04-30 16:09:27 +0100 |
|---|---|---|
| committer | Dominik Picheta <dominikpicheta@googlemail.com> | 2015-04-30 16:09:27 +0100 |
| commit | 0be654efe11311fcf1200c0e7dba9ecd55fa5591 (patch) | |
| tree | 7f55b6c5f467a7094fb0978841a08a9b1764f0c3 /tests/notnil/tnotnil4.nim | |
| parent | 4e778f9aac184655135daaff6579ef4a553d225a (diff) | |
| parent | d9d5aa60b7df936ffe6149143c7202604f71465f (diff) | |
| download | Nim-0be654efe11311fcf1200c0e7dba9ecd55fa5591.tar.gz | |
Merge branch 'devel'
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 |