Commits
Doug Gregor committed f58637720a8
Implement basic simplification of constraints by matching types (under same-type, (trivial) subtyping, or convertible-to criteria), destroying type constructors to break complex constraints into simpler ones. Swift SVN r2634