Skip to content

fix(codegen): preserve borrowed projected slice views - #892

Merged
sanohiro merged 2 commits into
mainfrom
agent/request21-borrowed-option-projection
Aug 26, 2026
Merged

fix(codegen): preserve borrowed projected slice views#892
sanohiro merged 2 commits into
mainfrom
agent/request21-borrowed-option-projection

Conversation

@sanohiro

Copy link
Copy Markdown
Owner

Summary

  • accept exact array-to-slice view retypes while checking borrowed projection paths against their owning aggregate type
  • preserve scalar and AoS record-array element types through borrowed Option projections
  • reject forged sibling-field/type mismatches before LLVM lowering
  • cover Some/None, whole-program/per-unit builds, repeated borrows, and owner reuse

Request 21

This closes the Align compiler side of align-llm Request 21. Consumer pin adoption and verification remain align-llm-owned follow-up work.

Verification

  • focused align_codegen_llvm malformed-retype owner
  • focused align_driver whole-program/per-unit runtime owner
  • align-llm work-in-progress corpus built with the fixed local compiler
  • code-tier scripts/pre-pr.sh (owner checks, bounded gate, lint ratchet, Clippy)
  • one full-diff inspection plus a clean changed-slice inspection for the test-only ratchet correction

@sanohiro
sanohiro marked this pull request as ready for review August 26, 2026 12:15
@sanohiro
sanohiro merged commit 3a34feb into main Aug 26, 2026
9 checks passed
@sanohiro
sanohiro deleted the agent/request21-borrowed-option-projection branch August 26, 2026 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant