Skip to content

A coproduct payload can inhabit its parent coproduct field, and nothing refuses it - #8865

Merged
briansrls merged 3 commits into
mainfrom
session/coproduct-payload-soundness
Aug 22, 2026
Merged

A coproduct payload can inhabit its parent coproduct field, and nothing refuses it#8865
briansrls merged 3 commits into
mainfrom
session/coproduct-payload-soundness

Enrol the probe in the roster that actually gates the floor

fab60fd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar