Commits
Doug Gregor committed ac46f00b007
Introduce a recursive type matcher for structurally matching two types. The recursive type matcher is used to match two types together, calling out to a separate implementation subclass to cope with any mismatches that occur. Use this type matcher to simplify the expression of the requirement/witness matching used by inference of type witnesses. More clients to come... Swift SVN r29749