23 lines
314 B
Nim
23 lines
314 B
Nim
discard """
|
|
line: 22
|
|
errormsg: "type mismatch"
|
|
"""
|
|
{.experimental: "notnil".}
|
|
type
|
|
PObj = ref TObj not nil
|
|
TObj = object
|
|
x: int
|
|
|
|
MyString = string not nil
|
|
|
|
#var x: PObj = nil
|
|
|
|
proc p(x: string not nil): int =
|
|
result = 45
|
|
|
|
proc q(x: MyString) = discard
|
|
proc q2(x: string) = discard
|
|
|
|
q2(nil)
|
|
q(nil)
|
|
|