Commit Graph

12053 Commits

Author SHA1 Message Date
Lyu, Wei-Da 5712730c2d fix: non-relative path completion without baseUrl (#52908) 2023-03-23 08:57:57 -07:00
Anders Hejlsberg 511921e1e2 Improve detection of cases where subtype reduction is unnecessary (#53435) 2023-03-23 07:09:12 -07:00
Anders Hejlsberg 37bafa539c Exclude comparable relation from literal type relation optimization (#53419) 2023-03-23 07:04:16 -07:00
Anders Hejlsberg 25550bd3d6 Exclude special index signature rule from strict subtype relation (#53388)
Co-authored-by: Daniel Rosenwasser <DanielRosenwasser@users.noreply.github.com>
2023-03-23 07:03:09 -07:00
Andrew Branch 7009c76d00 Support wildcard exports in tsconfig lookup (#53443) 2023-03-22 15:21:50 -07:00
Sheetal Nandi 1b745df857 Adding baseline methods for verification of findAllRefs, GoTo*, Occurrences, highlights and rename deprecating the corresponding verification methods from fourslash tests (#52576) 2023-03-22 14:02:18 -07:00
Mateusz Burzyński 3f90887a6e Optimize the transformed output of JSXSpreadAttributes containing an ObjectLiteralExpression (#49100) 2023-03-21 15:47:35 -07:00
Jake Bailey 01de7885a4 Avoid calculating union in spread if property types are identical (#53413) 2023-03-21 14:44:47 -07:00
Oleksandr T 01a7a3e146 fix(53289): TypeScript cannot auto-complete keyword typeof (#53325) 2023-03-21 13:51:08 -07:00
Oleksandr T c5b539dcd5 fix(53372): TypeScript cannot auto-complete keyword extends (#53418) 2023-03-21 13:12:38 -07:00
SHIMA RYUHEI 84a09c762b Accurate constraintType for indexedAccessType (#53059) 2023-03-21 12:54:05 -07:00
Anders Hejlsberg 3d2c3442db Fix recursive type inference (#53396) 2023-03-21 12:53:16 -07:00
Anders Hejlsberg bace6897e2 Fix subtype reduction involving type variables with union constraints (#53351) 2023-03-21 12:52:05 -07:00
Mateusz Burzyński abb4052f2f Always substitute indexed generic mapped type when getting constraint from indexed access (#53066) 2023-03-21 12:50:11 -07:00
Kevin Gibbons de31ebecea More explicit error message for function signature length mismatches (#51457)
Co-authored-by: Jake Bailey <5341706+jakebailey@users.noreply.github.com>
2023-03-21 09:09:22 -07:00
Jake Bailey b168b246b7 Make deeplyNestedTemplateLiteralIntersection run a little faster (#53401) 2023-03-20 17:43:04 -07:00
Mateusz Burzyński f078ab0548 Avoid rewriting homomorphic mapped types with homomorphic instantiations (#53215) 2023-03-20 17:09:42 -07:00
Jake Bailey e9836a4bec Ensure rest type for source parameter is readonly in relations (#53258) 2023-03-20 16:18:52 -07:00
Andrew Branch f43a4fe401 Fix resolving entity name of namespace member after alias is merged with type (#53387) 2023-03-20 15:16:08 -07:00
Mateusz Burzyński acfb0b53d1 Make function properties context-sensitive based on their return statements (#50903) 2023-03-20 13:53:16 -07:00
Nebojša Cvetković 4fcb8b8be6 Consider all union types matching discriminator for excess property checks (#51884)
Co-authored-by: Jake Bailey <5341706+jakebailey@users.noreply.github.com>
2023-03-20 13:50:23 -07:00
Jake Bailey 3ba3ace236 Remove incorrect handling of intersections in getStringMappingType (#53383) 2023-03-20 13:44:25 -07:00
Wesley Wigham 001aa99734 Fix crash when importsNotUsedAsValues is set alongside verbatimModuleSyntax (#53386) 2023-03-20 12:30:11 -07:00
Andrew Branch af00915d71 Add missing ambient check to verbatimModuleSyntax export = error (#53385) 2023-03-20 12:05:20 -07:00
Mateusz Burzyński 3fab5fff34 Fixed issues with inference from nested tuple types of the same shape (#49226) 2023-03-20 11:18:08 -07:00
Oleksandr T 9e1f0adf61 feat(25758): Computed properties no throws if there is a duplicate (#49848) 2023-03-20 11:16:00 -07:00
Mateusz Burzyński 1ed06e6b05 Fixed an issue with not being able to use mapped type over union constraint as rest param (#49947) 2023-03-20 11:14:25 -07:00
Jake Bailey 27aca613ff Remove random code from fourslash test (#53335) 2023-03-20 11:13:06 -07:00
Mateusz Burzyński 56aa3d522b Normalize generic tuple types with Simplifiable elements (#52385) 2023-03-20 11:10:31 -07:00
Mateusz Burzyński a5e6dee6b2 Do not infer to mapped types from implied index signatures created by rest bindings (#52632) 2023-03-20 11:06:26 -07:00
Jake Bailey 716b592e55 Revert fix for intersections in template literals, fix differently (#52836) 2023-03-19 19:48:32 -07:00
Anders Hejlsberg 9b7f291a33 Improve contextual typing of ending tuple elements (#53036) 2023-03-19 08:13:03 -07:00
gu bf369f1b95 Fix missing reference in js (#50509) (#53000) 2023-03-17 15:51:11 -07:00
Jake Bailey b7b0b52d68 Disallow instantiation expressions on the right side of instanceof (#53323) 2023-03-17 15:32:00 -07:00
Kagami Sascha Rosylight f473058361 Allow implicit return with explicit undefined return type (#53092)
Co-authored-by: Daniel Rosenwasser <DanielRosenwasser@users.noreply.github.com>
2023-03-17 12:08:01 -07:00
Mateusz Burzyński b8c71685f9 Add an extra test case related to return statements and annotated return types (#52628) 2023-03-16 14:58:03 -07:00
Mateusz Burzyński a6ba2e735d Collect contravariant-only inference candidates from shorter annotated functions (#52609) 2023-03-16 11:00:36 -07:00
Zzzen cfd550e397 Avoid bogus circularity error on context sensitive expando assingment (#50487)
Co-authored-by: Nathan Shively-Sanders <293473+sandersn@users.noreply.github.com>
2023-03-16 10:12:23 -07:00
Jake Bailey e0124040f0 Revert PR #52589 (#53280) 2023-03-16 09:59:02 -07:00
Jake Bailey 7f292bf2a1 Revert PR #51580 (#53283) 2023-03-15 20:19:23 -07:00
Mateusz Burzyński 63495beb1a Fixed an issue with spreading a spreadable generic expression into generic JSX (#51580) 2023-03-15 14:57:37 -07:00
Oleksandr T 7a65c341ce fix(53204): Bug: __runInitializers(this) is emitted before super() call (#53268) 2023-03-15 12:59:19 -07:00
Jake Bailey dfa30bbe2a Ensure moduleType is structured during cloneTypeAsModuleType (#51136) 2023-03-15 12:56:11 -07:00
Mateusz Burzyński 074bf34633 Do not resolve apparent type of mapped types with a tuple constraint (#52651) 2023-03-15 10:46:12 -07:00
Mateusz Burzyński eb6aaea86e Fixed symbol declarations for generic filtering mapped types (#53207) 2023-03-15 10:43:45 -07:00
Mateusz Burzyński 78089b4964 Add intra expression inference sites based on JSX attributes (#52837) 2023-03-15 10:42:40 -07:00
Wesley Wigham 2b9d792828 Fix #33569 - Enable declaration emit for late-bound function members (#53034) 2023-03-15 10:20:35 -07:00
Anders Hejlsberg 9769421a63 Defer resolution of indexed access types with reducible object types (#53098) 2023-03-14 14:15:32 -07:00
Mateusz Burzyński 2953bcdf2e Add an extra test case for mapped type relationships (#53232) 2023-03-14 09:48:05 -07:00
Sheetal Nandi 46d70d79cd When resolving type reference from custom typeRoot localtion use mangled scope name if the package is scoped name (#53166) 2023-03-10 09:58:41 -08:00