| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Change stdlib imports to use std prefix in most examples (#17202) | Danil Yarantsev | 2021-02-28 | 1 | -3/+3 |
| * | clean up old codes (#16284) | flywind | 2020-12-09 | 1 | 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
|