Commits

Doug Gregor committed 12c365e6432
Allow type substitution with a null resolver. This allows AST clients to perform type substitutions without requiring a type checker. Test this by performing substitutions within the AST verifier. Swift SVN r8166