Skip to content

static: (for f in [0]: discard a.b == f) causes nim check unhandled exception: field 'intVal' is not accessible for type 'TFullReg' using 'kind = rkNone' [FieldDefect] #25732

@tersec

Description

@tersec

Nim Version

Nim Compiler Version 2.2.8 [Linux: amd64]
Compiled at 2026-04-11
Copyright (c) 2006-2026 by Andreas Rumpf

git hash: 4f500679b196fad944caa50a753f5bbfaefda001
active boot switches: -d:release
Nim Compiler Version 2.2.9 [Linux: amd64]
Compiled at 2026-04-11
Copyright (c) 2006-2026 by Andreas Rumpf

git hash: c7339047164d8c1feeef6822ba3c8ab4085db522
active boot switches: -d:release
Nim Compiler Version 2.3.1 [Linux: amd64]
Compiled at 2026-04-11
Copyright (c) 2006-2026 by Andreas Rumpf

git hash: 6353c4e5b0b6e3194f1eb888cdcd6f329bc8ea54
active boot switches: -d:release

Description

static: (for f in [0]: discard a.b == f)

Current Output

......................................................................
/tmp/d.nim(1, 32) Error: undeclared identifier: 'a'
/tmp/d.nim(1, 32) Error: expression 'a' has no type (or is ambiguous)
/tmp/d.nim(1, 33) Error: undeclared field: 'b'
/tmp/d.nim(1, 33) Error: undeclared field: '.'
/tmp/d.nim(1, 33) Error: undeclared field: '.'
fatal.nim(62)            sysFatal
Error: unhandled exception: field 'intVal' is not accessible for type 'TFullReg' using 'kind = rkNone' [FieldDefect]

Expected Output

No unhandled FieldDefect in nim check

Known Workarounds

No response

Additional Information

No response

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions