Repository navigation

v2: a fn's uses clause parses; lowering refuses the fn at the clause until an effect-requirement carrier exists - #12816

Merged

gunbai-bot[bot] merged 5 commits into

mainfrom

session/keen-fox-715-uses-clause

Sep 30, 2026

Commits on Sep 30, 2026
- v2: a fn may declare v1's uses clause; it parses, and lowering refuses the fn at the clause on both arms
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  62ee814
- uses clause test: a lowering refusal is a NodeLocus, so assert its anchor is the uses_clause shell
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2ce486e
- Merge origin/main into session/keen-fox-715-uses-clause (census arm reads the Outcome-valued signature inside the uses refusal; warm-roster union)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  08a8136
- Own the new fatal cause body_lowering_reason_uses_clause_unmodeled in compile_door_cause_ownership (FatalGrain, flip on the effect-requirement carrier)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c767ff7
- Merge origin/main into session/keen-fox-715-uses-clause (warm-roster union)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f37d223