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

briansrls merged 3 commits into
mainfrom
session/coproduct-payload-soundness

Commits

  1. Commits on Aug 22, 2026