Strict function types - #18654

Merged

Anders Hejlsberg (ahejlsberg) merged 25 commits into

strictFunctionTypes

Oct 2, 2017

Commits on Sep 18, 2017

Introduce --strictFunctionTypes mode
Anders Hejlsberg (ahejlsberg)
committed
12f5dd8
Use dedicated marker types for variance determination
Anders Hejlsberg (ahejlsberg)
committed
f8ff7f7
Add quick path for computing array variance as it is already known
Anders Hejlsberg (ahejlsberg)
committed
670d711

Commits on Sep 19, 2017

Handle contravariance in type inference
Anders Hejlsberg (ahejlsberg)
committed
a0fa69f
Add comments
Anders Hejlsberg (ahejlsberg)
committed
b58e0fb
Handle special case of 'void' type arguments for covariant type parameters
Anders Hejlsberg (ahejlsberg)
committed
84f7afd
Accept new baselines
Anders Hejlsberg (ahejlsberg)
committed
54eadef
Use methods in dom.generated.d.ts to opt out of strict checks
Anders Hejlsberg (ahejlsberg)
committed
44cc8c5
Update tsconfig baselines
Anders Hejlsberg (ahejlsberg)
committed
dd466ae

Commits on Sep 20, 2017

Revert dom.generated.d.ts and fix duplicate declarations
Anders Hejlsberg (ahejlsberg)
committed
24698dd

Commits on Sep 21, 2017

Commits on Sep 22, 2017

Commits on Sep 25, 2017

Commits on Sep 26, 2017

Accept new baselines
Anders Hejlsberg (ahejlsberg)
committed
1795614

Commits on Sep 29, 2017

Addressing CR feedback
Anders Hejlsberg (ahejlsberg)
committed
936f98d

Commits on Oct 2, 2017

Emit .d.ts file in test
Anders Hejlsberg (ahejlsberg)
committed
bf75a3f
Improve error elaboration for invariant generic types
Anders Hejlsberg (ahejlsberg)
committed
bff843a
Add error elaboration test
Anders Hejlsberg (ahejlsberg)
committed
c2344e0