Disjunction pruning and other recent improvements to the Swift compiler's type checker

submitted by /u/someone-very-cool
[link] [comments]