Skip to content

Canonicalize disallow through type disjunctions in Draft 3#871

Merged
jviotti merged 2 commits into
mainfrom
disallow-type
Jun 18, 2026
Merged

Canonicalize disallow through type disjunctions in Draft 3#871
jviotti merged 2 commits into
mainfrom
disallow-type

Commits

Commits on Jun 18, 2026