Microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2025-11-18 17:21:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
34,146 Commits 367 Branches 233 Tags
cacheModuleResolution
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Anders Hejlsberg b9d0e17298 Ignore switch statement bypass control flows that produce never (#51703) 
* Ignore switch statement bypass control flows that produce 'never'

* Add regression test
 2022-12-07 16:19:09 -08:00
Anders Hejlsberg d43112a75b Use missingType in --noUncheckedIndexedAccess mode (#51653) 
* Use missingType in noUncheckedIndexedAccess mode

* Accept new baselines

* Add tests

* Optimizing searching for undefinedType and missingType
 2022-12-07 13:38:33 -08:00
Anders Hejlsberg 91f89b94e4 Visit child nodes in checkExpressionWithTypeArguments (#51804) 
* Visit child nodes in checkExpressionWithTypeArguments

* Accept new baselines

* Add tests
 2022-12-07 10:06:12 -08:00
Anders Hejlsberg c07f51242c Fix narrowing by typeof applied to discriminant property (#51720) 
* Fix narrowing by typeof applied to discriminant property

* Include effects of getReferenceCandidate

* Add tests
 2022-12-05 11:51:54 -08:00
Anders Hejlsberg 8036b149a4 Fix isUnitLikeType to (again) handle tagged literal types (#51545) 
* Fix isUnitLikeType to (again) handle tagged literal types

* Add regression test
 2022-11-30 13:30:52 -08:00
Anders Hejlsberg cee6366c48 Fix isTypeDerivedFrom to properly handle {} and intersections (#51631) 
* Fix isTypeDerivedFrom to properly handle {} and intersections

* Add tests
 2022-11-29 08:29:35 -08:00
Anders Hejlsberg 7b85cd6b72 Numeric literals assignable to enum literals only when values match (#51561) 
* Numeric literal assignable to enum literal only when values match

* Accept new baselines

* Update compiler sources

* Accept new baselines

* Fix test runner

* Any numeric literal type is assignable to a computed numeric enum type
 2022-11-16 18:56:01 -08:00
Anders Hejlsberg f0216e3421 Improve reduction of similar intersections in type inference (#51405) 
* Change criteria for reducing intersections in type inference

* Add regression test
 2022-11-04 17:04:05 -07:00
Anders Hejlsberg 7cf842b42b Enum unification and improvements (#50528) 
* Fix enum classification and evaluation

* References in literal enums must be to other enum members

* Accept new baselines

* Unify enum types + template literal constant expressions

* Accept new baselines

* Fix fourslash tests

* Fix new compiler errors

* Fix lint error

* Accept new API baselines

* Fix test

* Better error message + consistently check enum initializers

* Accept new baselines
 2022-11-03 11:05:42 -07:00
Anders Hejlsberg 906ebe4933 Revert structuredTypeRelatedTo change and fix isUnitLikeType (#51076) 
* Revert structuredTypeRelatedTo change, fix isUnitLikeType

* Accept new baselines

* Add regression tests

* Fix formatting in test
 2022-10-19 15:46:00 -07:00
Anders Hejlsberg 37317a208f Check nested weak types in intersections on target side of relation (#51140) 
* Check nested weak types in intersections on target side of relation

* Add regression tests

* Move logic from isRelatedTo to structuredTypeRelatedTo

* Fix lint error

* Add additional test
 2022-10-13 08:20:07 -07:00
Anders Hejlsberg 4f54e7e947 Fix isExhaustiveSwitchStatement to better handle circularities (#51095) 
* Fix isExhaustiveSwitchStatement to better handle circularities

* Add regression test
 2022-10-12 07:22:06 -07:00
Anders Hejlsberg d06a592d02 Properly defer resolution of mapped types with generic as clauses (#51050) 
* Fix isGenericMappedType, getTemplateLiteralType, getStringMappingType

* Accept new baselines

* Add regression tests

* Fix comment
 2022-10-07 07:25:57 -07:00
Anders HejlsbergandMateusz Burzyński 96894db6cb Include type parameter defaults in contextual typing (#50994) 
* Include type parameter defaults in contextual typing

* Add tests

* Add additional an test for instantiating contextual signature using default type param (#51002)

* Update comment

Co-authored-by: Mateusz Burzyński <mateuszburzynski@gmail.com>
 2022-09-30 07:02:22 -07:00
Anders Hejlsberg ecf50e81a7 Properly compute SymbolFlags.Optional for intersected properties (#50958) 
* `in` proves property presence only if property can't be undefined

* Accept new baselines

* Add tests

* Accept new baselines

* Properly compute SymbolFlags.Optional for intersected properties

* Accept new baselines

* Check optionality only for property-like declarations

* Add more tests
 2022-09-29 15:18:21 -07:00
Anders Hejlsberg 01054e05ab Consistently add undefined/missing to optional tuple element types (#50831) 
* Consistently add undefined/missing type to optional tuple elements

* Accept new baselines

* Add regression test
 2022-09-20 18:14:20 -07:00
Anders Hejlsberg a11c41621b Improve checking of in operator (#50666) 
* Improve checking of `in` operator

* Accept new baselines

* Add tests

* Delete old and accept new baselines

* Disallow right operand of type '{}'

* Accept new baselines

* Support number and symbol literals

* Add tests

* Disallow {} typed right operand only in strictNullChecks mode

* Accept new baselines

* Detect {} resulting from intersections

* Accept new baselines

* Don't attempt to reduce intersections with Record<K, unknown>

* Accept new baselines

* Return undefined instead of unknownSymbol from getGlobalRecordSymbol()
 2022-09-19 14:16:01 -07:00
Anders Hejlsberg 3b84f76fb2 Fix crash caused by incorrect bounds check (regression in 4.8) (#50797) 
* Fix bounds check

* Add regression test
 2022-09-16 07:14:14 -07:00
Anders Hejlsberg 4110b80fbb Fix equality narrowing and comparable relation for intersections with {} (#50735) 
* Fox equality narrowing and comparable relation for intersections with {}

* Accept new baselines

* Add tests

* Accept new baselines
 2022-09-14 09:19:36 -07:00
Anders Hejlsberg 60963d7216 Discriminant of type never should never be matched (#50755) 
* Discriminant of type 'never' should never be matched

* Add tests
 2022-09-13 10:29:50 -07:00
Anders Hejlsberg a70bb9d3ff Preserve special intersections in mapped types (#50704) 
* Preserve special intersections in mapped types

* Add regression test
 2022-09-09 12:09:50 -07:00
Anders Hejlsberg 854d448e5c in operator shouldn't narrow {} originating in unknown (#50610) 
* 'in' operator shouldn't narrow {} originating in unknown

* Add regression test
 2022-09-02 09:30:17 -07:00
Anders Hejlsberg 6db2c882f3 {} & null and {} & undefined should always be never (#50553) 
* {} & null and {} & undefined should be never in non-strictNullChecks mode

* Add tests

* Address code review feedback

* Accept new baselines
 2022-09-01 12:37:13 -07:00
Anders Hejlsberg 43f8ae6df4 Only normalize intersections that include {} (#50535) 
* Only normalize intersections that include {}

* Accept new baselines
 2022-08-31 14:36:03 -07:00
Anders Hejlsberg 6d170b490d Handle intersections in isGenericTypeWithoutNullableConstraint (#50497) 
* Handle intersections in isGenericTypeWithoutNullableConstraint

* Add regression test
 2022-08-29 09:24:13 -07:00
Anders Hejlsberg 6e8337ef70 Optimize substitution types (#50397) 
* Optimize substitution type infrastructure

* Accept new baselines

* Preserve instantiated substitution types for type variables

* Restrictive type parameters should have no constraint

* Fix issues from top100 test run

* Accept new baselines
 2022-08-26 12:06:06 -07:00
Anders Hejlsberg 697935da47 Restore ordering of operations involving type parameters and unions (#50116) 2022-08-03 00:32:41 -04:00
Anders Hejlsberg a4507c9225 Favor asserted type in type predicate narrowing (#50044) 
* Favor asserted type in type predicate narrowing

* Accept new baselines
 2022-07-26 17:39:35 -07:00
Anders Hejlsberg 4026c6fd80 Properly handle null and undefined in getCommonSupertype (#50021) 
* Properly handle null and undefined in getCommonSupertype

* Add tests

* Add more tests
 2022-07-24 08:09:14 -07:00
Anders Hejlsberg 2c68ded954 Improve narrowing logic for instanceof, type predicate functions, and assertion functions (#49625) 
* Improve narrowing logic for instanceof, type predicates, and assertions

* Accept new baselines

* Add tests

* Tweak algorithm

* Accept new baselines

* Optimize for discriminated unions
 2022-07-15 14:01:55 -10:00
Anders Hejlsberg c2897189cb Defer types like keyof (T & {}) (#49696) 
* 'keyof undefined' and 'keyof null same as 'keyof never'

* Update tests

* Defer types like `keyof (T & {})`

* Restore test

* Update test

* Accept new baselines

* Add tests
 2022-07-07 11:54:22 -10:00
Anders Hejlsberg 2eaf49f56e Handle pseudo-references in getFlowCacheKey (#49828) 
* Handle pseudo-references in getFlowCacheKey

* Add tests

* Accept new baselines
 2022-07-07 11:53:30 -10:00
Anders Hejlsberg 2f260885cc Cache results of expensive repetitive type operations (#49760) 2022-07-05 07:02:32 -10:00
Anders Hejlsberg 529ba99e29 Use separate marker types for variance annotation validation (#49616) 
* Use separate marker types for variance annotation validation

* Add regression test
 2022-06-21 06:42:10 -07:00
Anders Hejlsberg 18ac37221b Properly re-scan > token in type argument list determination logic (#49560) 
* Properly re-scan '>' token in type argument list determination logic

* Add regression test
 2022-06-15 12:06:08 -07:00
Anders Hejlsberg dc6a80bd00 Fresh {} is subtype of object (#49503) 
* Fresh {} is subtype of object

* Add regression test
 2022-06-13 12:21:51 -07:00
Anders HejlsbergandDaniel Rosenwasser e6808c4290 Instantiation expression can be followed by line break or binary operator (#49353) 
* Allow instantiation expression to be followed by let or interface on new line

* Add tests

* Update src/compiler/parser.ts

* Instantiation expressions followed by line breaks or binary operators

* Add more tests

* Accept new baselines

* Fix lint error

* Update fourslash test

Co-authored-by: Daniel Rosenwasser <DanielRosenwasser@users.noreply.github.com>
 2022-06-10 10:26:42 -07:00
Anders Hejlsberg 7e4a96e2fa Revise and simplify CFA for typeof check expressions (#49422) 
* Revise and simplify CFA for `typeof` check expressions

* Accept new baselines

* Add regression test

* Slight change to preserve type when related in both directions

* Add regression test

* Explain reasons for exact sequence of type checks
 2022-06-08 11:30:28 -07:00
Anders Hejlsberg 565249fbbe Fix definite assignment analysis issue caused by x !== null checks (#49387) 
* Check for non-intersected `undefined` type in definite assignment analysis

* Add regression test
 2022-06-06 09:51:13 -07:00
Anders Hejlsberg 1beb1037c0 Fix check in isMappedTypeGenericIndexedAccess (#49341) 
* Fix check in isMappedTypeGenericIndexedAccess

* Add regression tests
 2022-06-01 10:01:56 -07:00
Anders Hejlsberg 3cdb8081f7 Use NonNullable<T> in more scenarios (#49330) 
* Remove getFalsyFlags and improve getNonNullableType

* Apply getNonNullableType to left operand of || operator

* Accept new baselines

* Add tests
 2022-05-31 17:05:33 -07:00
Anders Hejlsberg 51b346d65a Improve intersection reduction and CFA for truthy, equality, and typeof checks (#49119) 
* Improve reduction of intersection types

* Accept new baselines

* Improve CFA for truthy, equality, and typeof checks

* Accept new baselines

* Remove special case for Function type

* Don't reduce intersections of form {...} & object

* Accept new baselines

* Anything is assignable to unknown-like union

* Accept new baselines

* Tweak subtype check

* Recombine unknown type from unknown-like union in more cases

* Display union origin only if it is shorter than union itself

* Accept new baselines

* Add tests

* Only attach origin type when it is shorter than union itself

* Specially preserve string & {}, number & {}, bigint & {}

* Accept new baselines

* Add additional tests

* Fix getNormalizedType and getNarrowableTypeForReference for intersections

* Switch NonNullable<T> to use T & {}

* Accept new baselines

* Use NonNullable<T> in place of anonymous T & {}

* Accept new baselines

* Add fourslash test

* More fourslash tests

* Fix getFalsyFlags handling of intersections

* Accept new baselines

* Add constraint to compareProperties type parameter

* Unconstrained type parameter not assignable to {} with strictNullChecks

* Accept new baselines
 2022-05-27 14:02:54 -07:00
Anders Hejlsberg c592ee781d Instantiate original target type in substituteIndexedMappedType (#49205) 2022-05-23 11:07:33 -07:00
Anders Hejlsberg 38c14606b4 Fix blocking of recursive dependencies in getNarrowedTypeOfSymbol (#48941) 
* Better blocking of recursive dependencies in getNarrowedTypeOfSymbol

* Add regression test
 2022-05-03 14:20:35 -07:00
Anders Hejlsberg 787bb9ddb6 Improve support for numeric string types (#48837) 
* Improve support for numeric string types

* Update test

* Add tests
 2022-04-25 15:36:06 -07:00
Anders Hejlsberg 65f6cb23d3 Constraints for mapped types with filtering 'as' clauses (#48699) 
* Constraints for mapped types with filtering 'as' clauses

* Add regression test
 2022-04-18 14:24:22 -07:00
Anders Hejlsberg a027cfa8ac More permissive parsing of instantiation expressions (#48659) 
* More permissive parsing of expressions with type arguments

* Add test
 2022-04-13 09:16:43 -04:00
Anders Hejlsberg cce61d1b69 Variance annotations on class expressions + deferred valiation (#48645) 
* Variance annotations on class expressions + deferred validation

* Add regression tests
 2022-04-12 09:34:33 -04:00
Anders Hejlsberg a744862aa5 Explore fewer constraints in getResolvedBaseConstraint (#48613) 2022-04-09 10:06:01 -04:00
Anders Hejlsberg 8f6e626d1c Permit type alias variance annotations only for certain object types (#48589) 
* Permit type alias variance annotations only for certain object types

* Accept new baselines
 2022-04-06 14:04:42 -07:00
Anders Hejlsberg a3c22187c9 Improve inference for context sensitive functions in object and array literal arguments (#48538) 
* Use intra-expression inference sites in type argument inference

* Accept new baselines

* Add tests
 2022-04-05 13:08:59 -07:00
Anders Hejlsberg fd601ddf20 CFA for dependent parameters typed by generic constraints (#48411) 
* Obtain apparent type in parameter destructuring check

* Add regression test
 2022-03-30 16:33:01 -07:00
Anders Hejlsberg 3f483d87b4 No contextual typing from return types for boolean literals (#48380) 
* No contextual typing from return types for boolean literals

* Accept new baselines

* Add regression tests
 2022-03-30 16:32:24 -07:00
Anders Hejlsberg df7ed82dd5 Revise accessor resolution logic and error reporting (#48459) 
* Revise accessor resolution logic and error reporting

* Accept new baselines

* Update isTypeElement

* Add tests
 2022-03-28 10:44:11 -07:00
Anders Hejlsberg 6cb58d382f Optional variance annotations (#48240) 
* Simplify getVariancesWorker and associated logic

* Accept new API baselines

* Add 'in' and 'out' modififers / add modifiers to type parameters

* Check variance annotations

* Update test runner

* Accept new API baselines

* Allow variance annotations only on certain type parameters

* Add deprecated implementation of createTypeParameterDeclaration

* Accept new API baselines

* Report variance markers as 'sub-XXX' and 'super-XXX'

* Add tests

* Accept new baselines
 2022-03-22 11:31:08 -07:00
Anders Hejlsberg 8e5a84a696 Exclude mapped types with optionality modifiers and 'as' clauses from constraint logic (#48273) 
* Exclude mapped types with optionality modifiers and 'as' clauses

* Add regression tests
 2022-03-15 17:37:46 -07:00
Anders Hejlsberg 8c060eecaa Exclude mapped types with 'as' clauses from certain checks (#47889) 
* Exclude mapped types with 'as' clauses from certain checks

* Add tests
 2022-03-15 17:01:33 -07:00
Anders Hejlsberg 0271738047 Properly reduce intersections to never in identity relation (#48111) 
* Exclude types that may simplify to other forms

* Add regression test
 2022-03-11 10:18:04 -08:00
Anders Hejlsberg db226a80e8 Remove unnecessary check in getNarrowableTypeForReference (#47953) 
* Remove unnecessary check in getNarrowableTypeForReference

* Add regression test
 2022-02-18 11:03:48 -08:00
Anders Hejlsberg 53809d8ed1 Remove unnecessary check for misaligned complex rest parameters (#47934) 
* Remove unnecessary check for misaligned complex rest parameters

* Add tests
 2022-02-17 11:35:52 -08:00
Anders Hejlsberg 5afbfbcbd0 Instantiation expressions (#47607) 
* Permit type arguments in references to generic functions

* Accept new baselines

* Delete pointless fourslash test

* Fix lint issue

* Finalize implementation

* Add tests

* Accept new baselines

* Properly handle instantiation of instantiation expression types

* Accept new API baselines

* Fix lint error

* Add more tests

* Properly handle unions/intersections of generic types

* Add more tests

* More permissive parsing of type arguments in member expressions

* Update tests

* Accept new baselines
 2022-02-16 13:27:16 -08:00
Anders Hejlsberg 44e827bcc9 Eliminate redundant or meaningless elaborations in type relations (#47738) 
* Eliminate redundant or meaningless elaborations in type relations

* Accept new baselines

* Add resetErrorInfo (though, oddly, shouldn't be necessary)

* Less aggressive reduction in second pass union/intersection checks

* Accept new baselines

* Restructure and back off a little bit more

* Only cache union/intersection relations once

* Accept new baselines

* Properly cache identity relations, clean up error reporting

* Move more logic to cached side of relation checks

* Optimize and remove more redundant elaborations

* Accept new baselines

* Remove unnecessary error state capture

* More optimizing

* Cache isWeakType computation

* Revert "Cache isWeakType computation"

This reverts commit 25a71c4de6.

* Address CR feedback

* Accept new baselines
 2022-02-15 18:30:29 +00:00
Anders Hejlsberg 78ef3e70c9 Ensure empty array literal is assignable to never[] (#47816) 
* Ensure empty array literal is assignable to never[]

* Add tests

* Add comment
 2022-02-12 16:39:21 +01:00
Anders Hejlsberg 4d6dd119d5 Add missing mapped type indexed access constraint (#47370) 
* Type { [P in K]: E }[X] has constraint E with X substutited for P

* Add regression test

* Fix PragmaMap and ReadonlyPragmaMap declarations

* Explore additional constraint

* Revert previous change

* Add tests
 2022-01-11 07:23:18 -08:00
Anders Hejlsberg a3d23d36cc Fix conditional type constraint exploration + signature relations (#47341) 2022-01-07 07:44:57 -10:00
Anders Hejlsberg f4e1efbc29 Control flow analysis for dependent parameters (#47190) 
* Support control flow analysis for dependent parameters

* Add tests
 2022-01-04 09:22:11 -10:00
Anders Hejlsberg 3d3825e783 Fix multiple issues with indexed access types applied to mapped types (#47109) 
* Fix multiple issues with indexed access types applied to mapped types

* Add tests
 2021-12-14 11:51:03 -08:00
Anders Hejlsberg 06746efbd9 Revert change to getFalsyFlags (#47125) 
* Revert change to getFalsyFlags

* Add regression test
 2021-12-13 09:05:55 -08:00
Anders Hejlsberg 2a7eb58589 Properly union inferred template literal string types (#46782) 
* Template literals and string mappings have 'string' as base type

* Add regression test

* Add tests for generic template literals

* One more test
 2021-12-06 10:51:50 -08:00
Anders Hejlsberg b2af6051ef Improve isValidSpreadType check (#47010) 
* Fix getFalsyFlags for intersection types

* Fix and simplify isValidSpreadType

* Slight tweak

* Add tests
 2021-12-03 16:11:01 -08:00
Anders Hejlsberg 831b770b95 Control flow analysis for destructured discriminated unions (#46266) 
* CFA for dependent variables destructured from discriminated union

* Accept new baselines

* Add tests

* Limit calls to isSymbolAssigned

* Fix wrong operator
 2021-11-02 15:48:13 -07:00
Anders Hejlsberg 33fe1b6ffc Fix contextual typing for symbol-named properties (#46558) 
* Properly handle symbol-named properties in contextual types

* Update index signature in PropertyDescriptorMap

* Add regression tests
 2021-11-02 14:05:41 -07:00
Anders Hejlsberg 373accf28f Improve recursion depth checks (#46599) 
* Decrease recursion depth limit to 3 + smarter check for recursion

* Accept new baselines

* Always set last type id

* Keep indexed access recursion depth check

* Less expensive and corrected check for broadest equivalent keys
 2021-11-02 14:05:17 -07:00
Anders Hejlsberg 56f81075f9 Properly check whether union type contains only primitive types (#46645) 
* Properly check whether union type contains only primitive types

* Add regression test

* Remove 'export' modifier from test
 2021-11-02 12:46:26 -07:00
Anders Hejlsberg 7cbcfeea99 Exclude identity relation from mapped type relation check (#46632) 
* Exclude identity relation from mapped type relation check

* Add regression test
 2021-11-02 06:54:35 -07:00
Anders Hejlsberg b0ab2a54bb Fix mapped type instantiation circularity (#46586) 
* Don't obtain constraint if doing so would cause circularity

* Add regression test

* Address CR feedback
 2021-10-29 14:01:27 -07:00
Anders Hejlsberg f424dfc18a Slightly less conservative check in isConstraintPosition (#46526) 
* Slight adjustment to check in isConstraintPosition

* Add regression test
 2021-10-26 11:54:46 -07:00
Anders Hejlsberg 44c63a757e Always cache relations involving intersection types (#46523) 
* Always cache relations involving intersection types

* Accept new baselines

* Add regression test
 2021-10-26 09:36:19 -07:00
Anders Hejlsberg 658764e499 Bypass caching in removeStringLiteralsMatchedByTemplateLiterals (#46525) 
* Bypass caching in removeStringLiteralsMatchedByTemplateLiterals

* Add regression test
 2021-10-26 09:34:15 -07:00
Anders Hejlsberg 449aaa118f Defer computation of isDistributionDependent to avoid circularities (#46474) 
* Defer computation of isDistributionDependent to avoid circularities

* Accept new API baselines
 2021-10-22 09:13:54 -07:00
Anders Hejlsberg f2f35ae78b Simplify relationship check for conditional type on target side (#46429) 
* Simplify relationship check for conditional type on target side

* Accept new baselines

* Better support for non-distribution-dependent types

* Accept new API baselines

* Accept new baselines
 2021-10-21 17:35:23 -07:00
Anders Hejlsberg 56b6279818 Improve logic for choosing between co- and contra-variant inferences (#46392) 
* Improve logic for choosing between co- and contra-variant inferences

* Add tests
 2021-10-19 09:58:10 -07:00
Anders Hejlsberg 8718df3dc1 Fix stack overflow in JSX discriminated union logic (#46354) 
* Use getContextFreeTypeOfExpression to avoid circularities

* Add regression test
 2021-10-14 10:11:44 -07:00
Anders Hejlsberg 0d2aeb7c65 Improve checks for infinitely expanding recursive conditional types (#46326) 
* Improve checks for infinitely expanding recursive conditional types

* Accept new baselines

* Add regression tests

* Remove 'export' modifier

* Accept new baselines
 2021-10-13 07:08:01 -07:00
Anders Hejlsberg 5ec836db82 Fix issues + Support template literal types as discriminants (#46137) 
* Fix issues + Support template literal types in discriminants

* Add tests

* Address CR feedback
 2021-09-29 17:38:43 -07:00
Anders Hejlsberg 26aef89a72 Make never inferences with template literal types only in special cases (#46075) 
* Make 'never' inferences with template literal types only in special cases

* Accept new baselines

* Add regression test

* Fix comment
 2021-09-27 06:47:47 -07:00
Anders Hejlsberg 2f0c6070cb Properly handle missingType in intersections (#46052) 
* Properly handle missingType in intersections

* Add regression tests

* Accept new baselines

* Fix tests
 2021-09-26 14:13:42 -07:00
Anders Hejlsberg a4f9bf0fce Create type aliases for unresolved type symbols (#45976) 
* Create type aliases for unresolved type symbols

* Accept new baselines

* Update fourslash tests

* Unresolved import aliases create tagged unresolved symbols

* Add comments

* Accept new baselines

* Add fourslash tests
 2021-09-23 13:21:27 -07:00
Anders Hejlsberg 5b84512ccc Fix infinite recursion in control flow analyzer inlining logic (#45845) 
* Move inlineLevel counter to main type checker scope

* Add regression test
 2021-09-13 11:02:55 -07:00
Anders Hejlsberg 5186ee3d1b Track non-null unknown types in control flow analysis (#45575) 
* Track non-null unknown types in CFA

* Add tests
 2021-09-09 09:20:44 -07:00
Anders Hejlsberg b9eeb74f37 Tail recursive evaluation of conditional types (#45711) 
* Implement tail-recursion for conditional types and lower general instantiation depth limit to 100

* Add tests

* Skip caching for tail recursive temporary conditional types
 2021-09-08 15:42:09 -07:00
Anders Hejlsberg 7032f6bcee Include index signatures for tagged primitives in keyof (#45773) 
* Properly include tagged primitive types in keyof

* Add regression test
 2021-09-07 10:46:13 -07:00
Anders Hejlsberg 79474fdfd2 Increase type instantiation depth limit (#45025) 
* Bump instantiation depth limit to 500

* Accept new baselines

* Update tests

* Accept new baselines
 2021-08-17 07:00:19 -07:00
Anders Hejlsberg 409be37bf5 Fix index signature assignability from optional properties in --exactOptionalPropertyTypes mode (#45185) 
* Explicit undefined not assignable to non-undefined index signature in exactOptionalPropertyTypes mode

* Add tests
 2021-08-06 08:54:00 +02:00
Anders Hejlsberg 3bd5079f1c Fix check for generic types in control flow analysis (#45148) 
* Fix check in hasNonBindingPatternContextualTypeWithNoGenericTypes

* Add regression tests

* Accept new baselines

* Compute both ObjectFlags.IsGenericXXXType flags in one go
 2021-08-06 08:53:30 +02:00
Anders Hejlsberg 193b7494d0 Properly propagate silentNeverType in intersections (#45073) 
* Properly propagate silentNeverType in intersections

* Add regression test
 2021-07-16 11:20:04 -07:00
Anders Hejlsberg 8e01a86c01 Consistently ignore attributes with hyphenated names in JSX (#44873) 
* Consistently skip attributes with hyphenated names in JSX

* Add regression test

* Accept new baselines

* Fix tests

* Accept new baselines
 2021-07-06 10:29:51 -10:00
Anders Hejlsberg 4c19873b64 Validate symbol-named properties against symbol index signatures (#44815) 
* Validate symbols against both symbol and string index signatures

* Add tests

* Accept new baselines
 2021-06-29 11:53:07 -10:00
Anders HejlsbergandDaniel Rosenwasser 5f8a9e5181 Fix constant reference check in CFA (#44762) 
* Check entire access path is constant when narrowing by inlining

* Add tests

* Accept new baselines

* Added test cases for parameter properties.

* Accepted baselines.

Co-authored-by: Daniel Rosenwasser <DanielRosenwasser@users.noreply.github.com>
 2021-06-28 16:41:17 -07:00
Anders Hejlsberg 8058619aed Control flow analysis of aliased conditional expressions and discriminants (#44730) 
* CFA inlining of conditional expressions referenced by const variables

* Accept new baselines

* Add tests

* Accept new baselines

* Increase inlining limit to 5 levels per design meeting discussion
 2021-06-25 13:59:58 -07:00