Skip to content

W3.2 coercion realization (Rung 3): preservation_rule_refinement_widening + CoercionQuality::Widened — make coercion REALIZE (rust i32→python int Accepted), not just fail-closed - #4363

Closed
briansrls wants to merge 2 commits into
mainfrom
session/eager-swift-250
Closed

W3.2 coercion realization (Rung 3): preservation_rule_refinement_widening + CoercionQuality::Widened — make coercion REALIZE (rust i32→python int Accepted), not just fail-closed#4363
briansrls wants to merge 2 commits into
mainfrom
session/eager-swift-250

feat(v4): W3.2 Leg B — coercion_fold_refinement_widening + rust i32→p…

0dd85d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors

The logs for this run have expired and are no longer available.