tests/notnil/tnotnil4.nim


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

discard ""
type
   TObj = ref object

proc check(a: TObj not nil) =
  echo repr(a)

proc doit() =
   var x : array[0..1, TObj]

   if x[0] != nil:
      check(x[0])

doit()

# bug #2352

proc p(x: proc() {.noconv.} not nil) = discard
p(proc() {.noconv.} = discard)
# Error: cannot prove 'proc () {.noconv.} = discard ' is not nil