During signature instantiation, account for recursively instantiated return types (which may not be set at the time of instantiation.)
Remove equality clause in type relationship inference - it was originally put in place to prevent method type parameters from "leaking" out of inference, but we actually want that to happen during contextual instantiation or recursive function invocations.

Instead, if we know that a type parameter is at risk of leaking at a call site, substitute in "{}" manually.
Add better comments for contextual instantiation tweaks
Support leadingTrivia/trailingTrivia on nodes with no tokens.
Remove file.
Both parameter and object types should exist when relating types during inference
Detect collision with names require and exports in external module
Only prevent leakage of type parameters not in scope
Fix the infinitely expanding type assignability, subtype and identity algorithm
Update LKG
Fix the errors in tsc.ts
Update LKG
 It is valid to have an object creation expression without arguments. getSignatureAtPosition did not account for this.
Merge branch 'develop' of https://git01.codeplex.com/typescript into develop
Refactor string and boolean parameters in test code to enums and object types
Compile files that depend on the harness along with the harness so refactoring errors are found before test runtime
Rename runner files to avoid confusion
Test updates for resolved bugs
Update fourslash xml test generation to match latest naming
When instantiating generic constraints, ensure that they're instantiated in the context of all other constraints (to allow for forward references in constraint bodies)