Context
PR #679 adds a semantic check that rejects multi-field inline type assertions (as { field1: T; field2: T }), forcing use of named types from src/ast/types.ts. This prevents the class of silent-wrong bug where field order in the inline type doesn't match the LLVM struct layout.
The check is correct. But the compiler's own source has 371 multi-field inline casts that need to be cleaned up before the check can be enforced.
What to do
Replace patterns like:
```ts
// Before:
const typed = expr as { type: string; op: string; left: Expression; right: Expression };
// After:
const typed = expr as BinaryNode;
```
Top offending files (sorted by count):
src/codegen/expressions/access/member.ts — 22src/semantic/closure-mutation-checker.ts — 21src/codegen/llvm-generator.ts — 21src/semantic/async-await-checker.ts — 19src/codegen/infrastructure/variable-allocator.ts — 19src/semantic/type-assertion-checker.ts — 18src/codegen/statements/for-of.ts — 18src/codegen/infrastructure/type-resolver/type-resolver.ts — 18- (and ~20 more files)
Named types available in src/ast/types.ts: BinaryNode, MemberAccessNode, IndexAccessNode, VariableNode, CallNode, MethodCallNode, TypeAssertionNode, InterfaceField, FunctionNode, ClassMethod, etc.
Once all 371 are fixed, re-open #679 to enforce the check.
Context
PR #679 adds a semantic check that rejects multi-field inline type assertions (
as { field1: T; field2: T }), forcing use of named types fromsrc/ast/types.ts. This prevents the class of silent-wrong bug where field order in the inline type doesn't match the LLVM struct layout.The check is correct. But the compiler's own source has 371 multi-field inline casts that need to be cleaned up before the check can be enforced.
What to do
Replace patterns like:
```ts
// Before:
const typed = expr as { type: string; op: string; left: Expression; right: Expression };
// After:
const typed = expr as BinaryNode;
```
Top offending files (sorted by count):
src/codegen/expressions/access/member.ts— 22src/semantic/closure-mutation-checker.ts— 21src/codegen/llvm-generator.ts— 21src/semantic/async-await-checker.ts— 19src/codegen/infrastructure/variable-allocator.ts— 19src/semantic/type-assertion-checker.ts— 18src/codegen/statements/for-of.ts— 18src/codegen/infrastructure/type-resolver/type-resolver.ts— 18Named types available in
src/ast/types.ts:BinaryNode,MemberAccessNode,IndexAccessNode,VariableNode,CallNode,MethodCallNode,TypeAssertionNode,InterfaceField,FunctionNode,ClassMethod, etc.Once all 371 are fixed, re-open #679 to enforce the check.