Code

Strict function types#18654

Code

Merged

ahejlsberg merged 25 commits intomastermicrosoft/TypeScript:masterfrom strictFunctionTypesmicrosoft/TypeScript:strictFunctionTypesCopy head branch name to clipboardOct 2, 2017

+1,986-47

Commits

Commits on Sep 18, 2017

• Introduce --strictFunctionTypes mode

  ahejlsberg

  committed
  12f5dd8

  Copy full SHA for 12f5dd8

• Use dedicated marker types for variance determination

  ahejlsberg

  committed
  f8ff7f7

  Copy full SHA for f8ff7f7

• Add quick path for computing array variance as it is already known

  ahejlsberg

  committed
  670d711

  Copy full SHA for 670d711

Commits on Sep 19, 2017

• Handle contravariance in type inference

  ahejlsberg

  committed
  a0fa69f

  Copy full SHA for a0fa69f

• Add comments

  ahejlsberg

  committed
  b58e0fb

  Copy full SHA for b58e0fb

• Handle special case of 'void' type arguments for covariant type parameters

  ahejlsberg

  committed
  84f7afd

  Copy full SHA for 84f7afd

• Accept new baselines

  ahejlsberg

  committed
  54eadef

  Copy full SHA for 54eadef

• Use methods in dom.generated.d.ts to opt out of strict checks

  ahejlsberg

  committed
  44cc8c5

  Copy full SHA for 44cc8c5

• Update tsconfig baselines

  ahejlsberg

  committed
  dd466ae

  Copy full SHA for dd466ae

Commits on Sep 20, 2017

• Revert dom.generated.d.ts and fix duplicate declarations

  ahejlsberg

  committed
  24698dd

  Copy full SHA for 24698dd

Commits on Sep 21, 2017

• Properly flag and structurally compare marker type references

  ahejlsberg

  committed
  f8e2cc1

  Copy full SHA for f8e2cc1

• Update comment

  ahejlsberg

  committed
  589e1f4

  Copy full SHA for 589e1f4

Commits on Sep 22, 2017

• Always perform structural comparison when variance check fails

  ahejlsberg

  committed
  afc8a26

  Copy full SHA for afc8a26

• Add tests

  ahejlsberg

  committed
  70e8f73

  Copy full SHA for 70e8f73

Commits on Sep 25, 2017

• Strict function type checking only for certain function types

  ahejlsberg

  committed
  91691f6

  Copy full SHA for 91691f6

• Update tests

  ahejlsberg

  committed
  6a481e8

  Copy full SHA for 6a481e8

Commits on Sep 26, 2017

• Accept new baselines

  ahejlsberg

  committed
  1795614

  Copy full SHA for 1795614

Commits on Sep 28, 2017

• Only methods and constructors are bivariant in --strictFunctionTypes mode

  ahejlsberg

  committed
  5613be4

  Copy full SHA for 5613be4

• Accept new baselines

  ahejlsberg

  committed
  1609196

  Copy full SHA for 1609196

• Merge branch 'master' into strictFunctionTypes

  ahejlsberg

  committed
  0756aa1

  Copy full SHA for 0756aa1

• Accept new baselines

  ahejlsberg

  committed
  c626d9d

  Copy full SHA for c626d9d

Commits on Sep 29, 2017

• Addressing CR feedback

  ahejlsberg

  committed
  936f98d

  Copy full SHA for 936f98d

Commits on Oct 2, 2017

• Emit .d.ts file in test

  ahejlsberg

  committed
  bf75a3f

  Copy full SHA for bf75a3f

• Improve error elaboration for invariant generic types

  ahejlsberg

  committed
  bff843a

  Copy full SHA for bff843a

• Add error elaboration test

  ahejlsberg

  committed
  c2344e0

  Copy full SHA for c2344e0