Skip to content

RUE-1208: splice borrow accessors at CFG threshold - #2110

Merged
steveklabnik merged 1 commit into
trunkfrom
codex/rue-1208-cfg-accessor-splice
Aug 5, 2026
Merged

RUE-1208: splice borrow accessors at CFG threshold#2110
steveklabnik merged 1 commit into
trunkfrom
codex/rue-1208-cfg-accessor-splice

Conversation

@steveklabnik

@steveklabnik steveklabnik commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • preserve borrow-accessor calls as borrowed places through AIR and CFG, then mandatorily splice exact accessor CFG dependencies before optimization and code generation
  • relocate accessor-local types, symbols, strings, spans, warnings, and destructor dependencies into each caller-owned domain while keeping raw callee keys shareable
  • remove the epoch-engine eligibility fallback and keep accessor bodies out of the ABI/codegen-unit set
  • add provider-path specification, UI, CLI, projected/nested/cycle, dual-backend, and exact warm-edit invalidation coverage

Validation

  • scripts/rue quick
  • /opt/homebrew/bin/bash ./clippy.sh
  • RUE_TEST_TIER=premerge ./test.sh
  • scripts/rue spec borrow-accessors
  • scripts/rue ui borrow-accessors
  • scripts/rue cli borrow_accessors

Fixes RUE-1208.
Fixes RUE-662.

@steveklabnik
steveklabnik added this pull request to the merge queue Aug 5, 2026
Merged via the queue into trunk with commit 6339139 Aug 5, 2026
22 checks passed
@steveklabnik
steveklabnik deleted the codex/rue-1208-cfg-accessor-splice branch August 5, 2026 19:28
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