Commits
Doug Gregor committed b46aa33ff57
Type witness inference: rank solutions based on selected value witnesses. Conformance checking selects more-specialized value witnesses. Therefore, teach type witness inference to rank its solutions by comparing value witnesses. Part of rdar://problem/21883828. Swift SVN r30423