Code

Conditional types#21316

Code

Merged

ahejlsberg merged 44 commits intomastermicrosoft/TypeScript:masterfrom conditionalTypesmicrosoft/TypeScript:conditionalTypesCopy head branch name to clipboardFeb 3, 2018

+3,290-380

Commits

Commits on Dec 5, 2017

• Initial implementation of conditional type operator

  ahejlsberg

  committed
  57ca768

Commits on Dec 8, 2017

• Add type relationships and distribute over union types

  ahejlsberg

  committed
  063eed1

Commits on Dec 12, 2017

• Add 'T extends U' type operator

  ahejlsberg

  committed
  ec2bdfd

• Clean up isGenericXXXType functions

  ahejlsberg

  committed
  43e195d

Commits on Dec 13, 2017

• Introduce TypeFlags.Instatiable

  ahejlsberg

  committed
  61225cc

• Rename TypeVariable to InstantiableType

  ahejlsberg

  committed
  9f74a7a

• Inference for conditional and extends type operators

  ahejlsberg

  committed
  20434fa

• Fix typo

  ahejlsberg

  committed
  ddc631c

• Improve conditional type constraint checking

  ahejlsberg

  committed
  000f121

Commits on Dec 16, 2017

• Handle constraints for distributive conditional types

  ahejlsberg

  committed
  27b945b

Commits on Dec 17, 2017

• Accept new baselines

  ahejlsberg

  committed
  f59e2e6

Commits on Dec 18, 2017

• Move JsxAttributes and MarkerType from TypeFlags to ObjectFlags

  ahejlsberg

  committed
  14590f1

• Accept new baselines

  ahejlsberg

  committed
  100e4f6

Commits on Dec 19, 2017

• Parse xxx? as JSDoc type when not followed by token that starts type

  ahejlsberg

  committed
  c5fd2f1

• Accept new baselines

  ahejlsberg

  committed
  341c397

Commits on Dec 20, 2017

• Fix linting error

  ahejlsberg

  committed
  3f4911f

Commits on Jan 3, 2018

• Merge branch 'master' into conditionalTypes

  Show description for abc8110
  ahejlsberg

  committed
  abc8110

• Propagate both TypeFlags and ObjectFlags in getSpreadType

  ahejlsberg

  committed
  bb23bb2

Commits on Jan 14, 2018

• Eagerly evaluate S extends T when S is definitely or definitely not assignable to T

  ahejlsberg

  committed
  c10a552

Commits on Jan 15, 2018

• Revert to extends check being part of conditional type

  ahejlsberg

  committed
  53b1572

• Remove 'T extends U' type constructor

  ahejlsberg

  committed
  5094f76

• Accept new baselines

  ahejlsberg

  committed
  925da86

• Introduce substitution types to use for constrained type parameters

  ahejlsberg

  committed
  e8d1740

• Accept new baselines

  ahejlsberg

  committed
  15baf0e

• Properly handle 'any' and 'never' as conditional check type

  ahejlsberg

  committed
  9598acd

Commits on Jan 16, 2018

• Erase substitution types in type references and type alias instantiations

  ahejlsberg

  committed
  e96ec8c

• Optimize the sameMap function

  ahejlsberg

  committed
  d52fa71

Commits on Jan 17, 2018

• Merge branch 'master' into conditionalTypes

  Show description for 4ec6fdd
  ahejlsberg

  committed
  4ec6fdd

Commits on Jan 18, 2018

• Separate code path for conditional type instantiation

  ahejlsberg

  committed
  fd0dd6e

Commits on Jan 19, 2018

• Fix parsing

  ahejlsberg

  committed
  c360c24

• Disallow conditional type following 'extends'

  ahejlsberg

  committed
  0e73240

Commits on Jan 20, 2018

• Add T is related to { [P in xxx]: T[P] } type relationship

  ahejlsberg

  committed
  5204fd5

• Add tests

  ahejlsberg

  committed
  eb314d0

• Accept new baselines

  ahejlsberg

  committed
  cdd50d4

• Revise comments

  ahejlsberg

  committed
  fc7d1c3

• Cache substitution types and remove erasure that was too eager

  ahejlsberg

  committed
  f19959a

Commits on Jan 21, 2018

• Remove unnecessary caching of substitution types

  ahejlsberg

  committed
  b869290

• Shared code path for getConditionalType and instantiateConditionalType

  ahejlsberg

  committed
  4c7ec3c

Commits on Jan 24, 2018

• Only conditional types that check naked type parameter distribute over unions

  ahejlsberg

  committed
  b42c6b1

• Fix bug in resolveMappedTypeMembers

  ahejlsberg

  committed
  8e337b5

Commits on Jan 30, 2018

• Merge branch 'master' into conditionalTypes

  ahejlsberg

  committed
  4f2b5f3

• Merge branch 'master' into conditionalTypes

  ahejlsberg

  committed
  f990e4e

• Update to use TypeFlags.Instantiable in instantiateSymbol

  ahejlsberg

  committed
  01516c8

Commits on Feb 3, 2018

• Merge branch 'master' into conditionalTypes

  Show description for d4dc67a
  ahejlsberg

  committed
  d4dc67a