Commits
John McCall committed bf932b359fc
When type-checking a return, walk down through parameter clauses the same way we do when setting up the scope. This makes us check extensions correctly, but breaks other tests; more design is required. Swift SVN r992