Skip to content

intersect: fix a minor soundness issue with supertypes#47813

Merged
vtjnash merged 1 commit intomasterfrom
jn/overintersect_super
Dec 16, 2022
Merged

intersect: fix a minor soundness issue with supertypes#47813
vtjnash merged 1 commit intomasterfrom
jn/overintersect_super

Commits

Commits on Dec 12, 2022