40 lines
873 B
Nim
40 lines
873 B
Nim
discard """
|
|
cmd: '''nim check --hints:off $file'''
|
|
action: reject
|
|
nimout: '''
|
|
tundeclared_field.nim(25, 12) Error: undeclared field: 'bad' for type tundeclared_field.A [type declared in tundeclared_field.nim(22, 8)]
|
|
tundeclared_field.nim(30, 16) Error: undeclared field: 'bad' for type tundeclared_field.A [type declared in tundeclared_field.nim(28, 8)]
|
|
tundeclared_field.nim(36, 4) Error: undeclared field: 'bad' for type tundeclared_field.A [type declared in tundeclared_field.nim(33, 8)]
|
|
tundeclared_field.nim(40, 13) Error: cannot instantiate Foo [type declared in tundeclared_field.nim(39, 8)]
|
|
'''
|
|
"""
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# line 20
|
|
block:
|
|
type A = object
|
|
a0: int
|
|
var a: A
|
|
discard a.bad
|
|
|
|
block:
|
|
type A = object
|
|
a0: int
|
|
var a = A(bad: 0)
|
|
|
|
block:
|
|
type A = object
|
|
a0: int
|
|
var a: A
|
|
a.bad = 0
|
|
|
|
block:
|
|
type Foo[T: SomeInteger] = object
|
|
var a: Foo[float]
|