Make sure type parameters stay fixed throughout the inference process - #2356

Merged

Jason Freeman (JsonFreeman) merged 12 commits into

typeParameterFixing

Mar 17, 2015

Commits on Mar 14, 2015

Add assert in reportNoCommonSupertypeError
Jason Freeman (JsonFreeman)
committed
f6de919
Persist inference context object throughout the signature, and add isFixed property
Jason Freeman (JsonFreeman)
committed
df6f856
Optimize the clearing of inferredTypes
Jason Freeman (JsonFreeman)
committed
495caf0
Get rid of inferenceFailureType, just set the failedTypeParameterIndex directly
Jason Freeman (JsonFreeman)
committed
a0b9607
Add tests for type parameter fixing
Jason Freeman (JsonFreeman)
committed
a29b6fe

Commits on Mar 17, 2015