镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com
Skip to content

Reduce intersections by discriminants - #36696

Merged
Anders Hejlsberg (ahejlsberg) merged 35 commits into
masterfrom
neverLikeIntersections
Feb 29, 2020
Merged

Reduce intersections by discriminants#36696
Anders Hejlsberg (ahejlsberg) merged 35 commits into
masterfrom
neverLikeIntersections

Optional properties in intersections are never discriminants

b99b9b2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs