Skip to content

[Reverted] Fixes to union simplification, isinstance and more#3025

Merged
JukkaL merged 19 commits into
masterfrom
proper-subtype
Mar 29, 2017
Merged

[Reverted] Fixes to union simplification, isinstance and more#3025
JukkaL merged 19 commits into
masterfrom
proper-subtype

Merge branch 'master' into proper-subtype

a06b41c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs