blob: b54c07432da00d734552e97a32eb3a61d6e63515 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{.experimental: "notnil".}
type
MyPointer = distinct pointer
MyString = distinct string
MyInt = distinct int
proc foo(a: MyPointer): int =
# workaround a Windows 'repr' difference:
cast[int](a)
doAssert foo(cast[MyPointer](1)) == 1
doAssert foo(cast[MyPointer](nil)) == 0
doAssert foo(MyPointer(nil)) == 0
var p: MyPointer
p = cast[MyPointer](1)
p = cast[MyPointer](nil)
p = nil.MyPointer
var i: MyInt
i = 1.MyInt
doAssert(compiles(i = nil) == false)
|