Prevent unnecessary specialization to 'any' during type argument inference
Fix comparison of generic signatures for spec conformance
Rather than have symbol specializations manage their declarations independently, have them delegate to their root symbols.
Update fourslash test for bug fixes
Add more useful diagnostics for tracking the number of specialized symbols
Update LKG
Use generics in TodoMVC sample
Export assignment to resolve the symbol from the external module only.
From Spec:
The Identifierof an export assignment must name a variable, function,
class, interface, enum, or internal module declared at the top level
in the external module.
The constructor type was not being specialized correctly
- Because constructor sets itself as being specialized the second run of
specialization return the new type without actually specializing the type
- Reset the specialization being progress state to make sure the next round
of specialization doesnt trip into this
Regression tests
Updated draft of language specification
Force type check before emitting
If emit is called after a symbol is invalidated resolution might cause wrong resolution when symbol look up is happening. though this is not a premenant fix, it ensures correctenss.
Tests for resolved bugs