Skip to content

v2: refinement-obligation carrier + discharge after infer; root-first cut of every infer caller - #12375

Merged
briansrls merged 3 commits into
mainfrom
session/deep-bee-18
Sep 27, 2026
Merged

v2: refinement-obligation carrier + discharge after infer; root-first cut of every infer caller#12375
briansrls merged 3 commits into
mainfrom
session/deep-bee-18

Delete the three obligated-form accessors nothing calls (review 71653…

6d4beca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar