Skip to content

Drop redundant Known() guard when discriminant is provably Known#257

Merged
AaronWebster merged 1 commit into
masterfrom
emboss/drop-known-guard
Jun 4, 2026
Merged

Drop redundant Known() guard when discriminant is provably Known#257
AaronWebster merged 1 commit into
masterfrom
emboss/drop-known-guard

Commits

Commits on Jun 4, 2026