mirror of
https://github.com/nim-lang/Nim.git
synced 2026-01-06 13:07:48 +00:00
1182216381
* remove a special case in sigmatch; distinct pointer types no longer match `nil` type * add tests * fixes tests * Update changelog.md Co-authored-by: konsumlamm <44230978+konsumlamm@users.noreply.github.com> Co-authored-by: Andreas Rumpf <rumpf_a@web.de> Co-authored-by: konsumlamm <44230978+konsumlamm@users.noreply.github.com>
24 lines
457 B
Nim
24 lines
457 B
Nim
discard """
|
|
cmd: "nim check $file"
|
|
action: reject
|
|
nimout: '''
|
|
tdistinct_nil.nim(23, 4) Error: type mismatch: got <typeof(nil)>
|
|
but expected one of:
|
|
proc foo(x: DistinctPointer)
|
|
first type mismatch at position: 1
|
|
required type for x: DistinctPointer
|
|
but expression 'nil' is of type: typeof(nil)
|
|
|
|
expression: foo(nil)
|
|
'''
|
|
"""
|
|
|
|
type
|
|
DistinctPointer = distinct pointer
|
|
|
|
proc foo(x: DistinctPointer) =
|
|
discard
|
|
|
|
foo(DistinctPointer(nil))
|
|
foo(nil)
|