Add partial overload checks#5476

Merged

Michael0x2a merged 13 commits intopython:masterfrom

Michael0x2a:improve-partial-overload-checks

Aug 27, 2018

Commits on Aug 16, 2018

Add support for partially overlapping types
Michael0x2a
committed

Commits on Aug 18, 2018

Merge branch 'master' into improve-partial-overload-checks
Michael0x2a
committed

Commits on Aug 20, 2018

Respond to code review; WIP test of meet semantics
Michael0x2a
committed

Commits on Aug 22, 2018

WIP
Michael0x2a
committed

Commits on Aug 26, 2018

Commits on Aug 27, 2018