Code

Variadic tuple types#39094

Code

Merged

ahejlsberg merged 37 commits intomastermicrosoft/TypeScript:masterfrom variadicTuplesmicrosoft/TypeScript:variadicTuplesCopy head branch name to clipboardJun 23, 2020

+4,280-700

Commits

Commits on Jun 1, 2020

• Initial implementation of variadic tuple types

  ahejlsberg

  committed
  7410ac9

  Copy full SHA for 7410ac9

• Accept new baselines

  ahejlsberg

  committed
  e5d6be7

  Copy full SHA for e5d6be7

Commits on Jun 4, 2020

• Handle variadic elements in tuple type inference

  ahejlsberg

  committed
  6d6bf6d

  Copy full SHA for 6d6bf6d

• Special case inference between tuples with matching structure

  ahejlsberg

  committed
  5679f36

  Copy full SHA for 5679f36

• Restore check that rest element is last element

  ahejlsberg

  committed
  94dd625

  Copy full SHA for 94dd625

Commits on Jun 7, 2020

• Handle variadic tuples in relationship checking

  ahejlsberg

  committed
  8669342

  Copy full SHA for 8669342

• Accept new baselines

  ahejlsberg

  committed
  34fd780

  Copy full SHA for 34fd780

Commits on Jun 8, 2020

• Infer readonly constraints when inferring from readonly tuples

  ahejlsberg

  committed
  e8466d7

  Copy full SHA for e8466d7

• Fix lint issues

  ahejlsberg

  committed
  20eb59e

  Copy full SHA for 20eb59e

• T assignable to readonly [...T] and [...T] assignable to T

  ahejlsberg

  committed
  54d7d40

  Copy full SHA for 54d7d40

• Consistent tuple normalization

  ahejlsberg

  committed
  d2b3128

  Copy full SHA for d2b3128

• Create variadic tuple types from array literal expressions

  ahejlsberg

  committed
  5902c21

  Copy full SHA for 5902c21

• Accept new baselines

  ahejlsberg

  committed
  5d78ed1

  Copy full SHA for 5d78ed1

Commits on Jun 9, 2020

• Array literals have tuple types when contextual type is readonly

  ahejlsberg

  committed
  b6b9d4a

  Copy full SHA for b6b9d4a

• Accept new baselines

  ahejlsberg

  committed
  0a7c6a9

  Copy full SHA for 0a7c6a9

• Optional elements before required elements become required elements

  ahejlsberg

  committed
  97184ab

  Copy full SHA for 97184ab

Commits on Jun 12, 2020

• Update logic for rest parameters and spread arguments

  ahejlsberg

  committed
  7449a6b

  Copy full SHA for 7449a6b

• Revert special case of contextual readonly array type

  ahejlsberg

  committed
  7f0917b

  Copy full SHA for 7f0917b

• Accept new baselines

  ahejlsberg

  committed
  0388e8e

  Copy full SHA for 0388e8e

Commits on Jun 13, 2020

• Fix lint issue

  ahejlsberg

  committed
  635d440

  Copy full SHA for 635d440

• Switch entirely to createTupleType based on element flags

  ahejlsberg

  committed
  32bbd4c

  Copy full SHA for 32bbd4c

Commits on Jun 14, 2020

• Don't infer readonly tuple types when inferring to variadic elements

  ahejlsberg

  committed
  10a9eb9

  Copy full SHA for 10a9eb9

• Handle mapped types applied to generic tuple types

  ahejlsberg

  committed
  bb989fc

  Copy full SHA for bb989fc

Commits on Jun 16, 2020

• Handle constraint of indexed access type with generic tuple type

  ahejlsberg

  committed
  fec03a1

  Copy full SHA for fec03a1

• Merge branch 'master' into variadicTuples

  Show description for 9a04edc
  ahejlsberg

  committed
  9a04edc

  Copy full SHA for 9a04edc

• Accept new baselines

  ahejlsberg

  committed
  01d3b54

  Copy full SHA for 01d3b54

Commits on Jun 17, 2020

• Address CR feedback

  ahejlsberg

  committed
  2791938

  Copy full SHA for 2791938

• Merge branch 'master' into variadicTuples

  Show description for d37c514
  ahejlsberg

  committed
  d37c514

  Copy full SHA for d37c514

• Simplify indexed access types involving generic tuple types

  ahejlsberg

  committed
  7593522

  Copy full SHA for 7593522

• Propagate checkMode into getSpreadArgumentType

  ahejlsberg

  committed
  eb50893

  Copy full SHA for eb50893

Commits on Jun 18, 2020

• Guard against missing globalArrayType

  ahejlsberg

  committed
  8f41104

  Copy full SHA for 8f41104

Commits on Jun 19, 2020

• Inference to [...T, ...U] based on implied arity of T

  ahejlsberg

  committed
  eedf7f1

  Copy full SHA for eedf7f1

• Merge branch 'master' into variadicTuples

  Show description for bc04a8d
  ahejlsberg

  committed
  bc04a8d

  Copy full SHA for bc04a8d

• Accept new baselines

  ahejlsberg

  committed
  aa2c49d

  Copy full SHA for aa2c49d

Commits on Jun 20, 2020

• Add tests

  ahejlsberg

  committed
  7bc595b

  Copy full SHA for 7bc595b

Commits on Jun 22, 2020

• Emit .d.ts from tests

  ahejlsberg

  committed
  0fc28f2

  Copy full SHA for 0fc28f2

Commits on Jun 23, 2020

• Address CR feedback

  ahejlsberg

  committed
  11f70be

  Copy full SHA for 11f70be