mirror of
https://github.com/nim-lang/Nim.git
synced 2026-01-05 20:47:53 +00:00
4a548deb08
The magic `mArrGet`/`mArrPut` subscript overloads always match, so if a subscript doesn't match any other subscript overloads and isn't a regular language-handled subscript, it creates a fake overload mismatch error in `semArrGet` that doesn't have any information (gives stuff like "first mismatch at index: 0" for every single mismatch). Instead of generating the fake mismatches, we only generate the fake mismatch for `mArrGet`/`mArrPut`, and process every overload except them as a real call and get the errors from there.
69 lines
2.6 KiB
Nim
69 lines
2.6 KiB
Nim
discard """
|
|
cmd: "nim check $file"
|
|
errormsg: "illformed AST: case buf[pos]"
|
|
nimout: '''
|
|
t10735.nim(65, 5) Error: 'let' symbol requires an initialization
|
|
t10735.nim(66, 10) Error: undeclared identifier: 'pos'
|
|
t10735.nim(66, 10) Error: expression 'pos' has no type (or is ambiguous)
|
|
t10735.nim(66, 10) Error: expression 'pos' has no type (or is ambiguous)
|
|
t10735.nim(66, 9) Error: type mismatch: got <cstring, >
|
|
but expected one of:
|
|
proc `[]`(s: string; i: BackwardsIndex): char
|
|
first type mismatch at position: 1
|
|
required type for s: string
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`(s: var string; i: BackwardsIndex): var char
|
|
first type mismatch at position: 1
|
|
required type for s: var string
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`[I: Ordinal; T](a: T; i: I): T
|
|
first type mismatch at position: 0
|
|
proc `[]`[Idx, T; U, V: Ordinal](a: array[Idx, T]; x: HSlice[U, V]): seq[T]
|
|
first type mismatch at position: 1
|
|
required type for a: array[Idx, T]
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`[Idx, T](a: array[Idx, T]; i: BackwardsIndex): T
|
|
first type mismatch at position: 1
|
|
required type for a: array[Idx, T]
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`[Idx, T](a: var array[Idx, T]; i: BackwardsIndex): var T
|
|
first type mismatch at position: 1
|
|
required type for a: var array[Idx, T]
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`[T, U: Ordinal](s: string; x: HSlice[T, U]): string
|
|
first type mismatch at position: 1
|
|
required type for s: string
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`[T; U, V: Ordinal](s: openArray[T]; x: HSlice[U, V]): seq[T]
|
|
first type mismatch at position: 1
|
|
required type for s: openArray[T]
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`[T](s: openArray[T]; i: BackwardsIndex): T
|
|
first type mismatch at position: 1
|
|
required type for s: openArray[T]
|
|
but expression 'buf' is of type: cstring
|
|
proc `[]`[T](s: var openArray[T]; i: BackwardsIndex): var T
|
|
first type mismatch at position: 1
|
|
required type for s: var openArray[T]
|
|
but expression 'buf' is of type: cstring
|
|
template `[]`(a: WideCStringObj; idx: int): Utf16Char
|
|
first type mismatch at position: 1
|
|
required type for a: WideCStringObj
|
|
but expression 'buf' is of type: cstring
|
|
template `[]`(s: string; i: int): char
|
|
first type mismatch at position: 1
|
|
required type for s: string
|
|
but expression 'buf' is of type: cstring
|
|
|
|
expression: buf[pos]
|
|
t10735.nim(66, 9) Error: expression '' has no type (or is ambiguous)
|
|
t10735.nim(68, 3) Error: illformed AST: case buf[pos]
|
|
'''
|
|
joinable: false
|
|
"""
|
|
|
|
let buf: cstring
|
|
case buf[pos]
|
|
else:
|
|
case buf[pos]
|