Summary
src/typecheck.c:165 has a comment: // Bind fields as unknown for now (full struct field lookup is TODO). No tests document this behavior.
Scope
Add two .runes files to src/tests/samples/:
- Positive test: uses
struct.field syntax — should compile (field type is currently TY_UNKNOWN, that's expected for now)
- Negative test: accesses a nonexistent field name — should fail with
-- EXPECT FAIL: field
Acceptance Criteria
Summary
src/typecheck.c:165has a comment:// Bind fields as unknown for now (full struct field lookup is TODO). No tests document this behavior.Scope
Add two
.runesfiles tosrc/tests/samples/:struct.fieldsyntax — should compile (field type is currentlyTY_UNKNOWN, that's expected for now)-- EXPECT FAIL: fieldAcceptance Criteria
tester.bash-- EXPECT FAIL: fieldon line 1 and passes as XPASS