Repository navigation

Refuse coercing another type into a private record or variant - #9125

Merged

cknitt merged 1 commit into

refuse-private-record-coercion

Oct 29, 2026

Merged

Refuse coercing another type into a private record or variant#9125
cknitt merged 1 commit into
masterfrom
refuse-private-record-coercion

Commits on Oct 29, 2026
- Refuse coercing another type into a private record or variant
  
  cknitt
  and
  claude
  committed
  052d3cc