Commit Graph

4388 Commits

Author SHA1 Message Date
Jake Bailey 756c0c3aa2 Use noTypesAndSymbols for API tests (#57799) 2024-03-15 18:39:45 -07:00
Gabriela Araujo Britto b009837298 Revert "Allow (non-assert) type predicates to narrow by discriminant" (#57750) 2024-03-15 11:59:09 -07:00
Dan Vanderkam e5bf594753 Infer type predicates from function bodies using control flow analysis (#57465)
Co-authored-by: Anders Hejlsberg <andersh@microsoft.com>
2024-03-15 11:42:55 -07:00
Anders Hejlsberg 952dfc5082 Exclude generic string-like types from intersection reduction (#57751) 2024-03-13 16:13:31 -07:00
Andrew Branch f9ef9439bd Ensure enum members syntactically determinable to be strings do not get reverse mappings (#57686)
Co-authored-by: frigus02 <3579251+frigus02@users.noreply.github.com>
Co-authored-by: Jan Kühle <jkuehle90@gmail.com>
2024-03-13 13:11:02 -07:00
Nathan Shively-Sanders e66049084b Revert "Defer processing of nested generic calls that return construc… (#57746) 2024-03-12 10:53:33 -07:00
Ron Buckton aa18962892 Fix emit for export { default } from ... when both importHelpers and esModuleInterop are enabled (#57220) 2024-03-11 17:15:32 -04:00
Ron Buckton 1e982d880c Report error when referencing class name from decorator (#57666) 2024-03-11 17:12:50 -04:00
Anders Hejlsberg ef6a4ab5c7 Fix nullability intersections in CFA and relations (#57724) 2024-03-11 14:00:56 -07:00
Jake Bailey e24d886305 Error on types named "undefined" (#57575) 2024-03-11 09:41:14 -07:00
Mateusz Burzyński 0a975626ec Remove missingType when inferring from properties in EOPT (#57447) 2024-03-08 14:21:00 -08:00
Jake Bailey 27fe5034e0 Remove es3 related tests (#57668) 2024-03-06 14:36:24 -08:00
Mateusz Burzyński 0f6f7c308a Add a test case related to spreading objects (#57642) 2024-03-04 15:53:41 -08:00
Anders Hejlsberg 3b1b82a6bf Add optionality to mapped type indexed access substitutions (#57549) 2024-03-04 15:51:36 -08:00
Oleksandr T 8ada4ef44f fix(57386): Invalid use of 'eval' when defining a namespaced eval function (#57391) 2024-03-01 15:14:27 -08:00
René 877d9d316d Intl.NumberFormat: Add latest options, fix previous library discrepancies (#56902) 2024-03-01 09:40:44 -08:00
Mateusz Burzyński af0424c010 Fixed a crash when computing flow type of destructured never (#57586) 2024-02-29 16:00:36 -08:00
Titian Cernicova-Dragomir e089896be4 Preserve parameter types for optional parameters /fields with undefined in type and for required params with default value (#57484) 2024-02-29 09:42:26 -08:00
Jake Bailey 26df0cb23e Remove 5.5 deprecated compiler options (#57527)
Co-authored-by: Andrew Branch <andrew@wheream.io>
2024-02-28 14:35:39 -08:00
Andrew Branch cfbb15f0c1 Ensure comments before // @Filename are not part of the following virtual test file (#57579) 2024-02-28 13:40:10 -08:00
Mateusz Burzyński 63dd17baef Get narrowable types for new expressions (#57382) 2024-02-28 12:33:38 -08:00
Anders Hejlsberg d04e3489b0 Improve apparent type of mapped types (#57122) 2024-02-18 14:46:37 -10:00
Mateusz Burzyński feb57c269b Instantiate earlier inferred constraints in conditional types (#57362) 2024-02-16 14:31:28 -08:00
Mateusz Burzyński 29c0024bcf Avoid creating rest elements with errorType when any is spread (#57116) 2024-02-16 14:05:33 -08:00
Gabriela Araujo Britto a6414052a3 Allow (non-assert) type predicates to narrow by discriminant (#57358) 2024-02-13 11:33:30 -08:00
Mateusz Burzyński 0b4966ab2a Fixed type parameter leak in union calls with mixed type parameter presence (#57371) 2024-02-12 15:07:05 -08:00
Mateusz Burzyński e2bf8b437d Fixed distributive conditional types with never intersections (#57345) 2024-02-09 12:25:02 -08:00
Jan Kühle bcef7eba53 Always emit Object type in decorator metadata for import type (#56594) 2024-02-05 16:40:50 -05:00
Jake Bailey db823e3681 Add test for issue 54655 (#57275) 2024-02-02 10:39:56 -08:00
Mateusz Burzyński 1445bd4344 Reissue used before declaration error for const enums in isolatedModules (#57174) 2024-01-30 08:35:59 -08:00
Nathan Shively-Sanders 584b314c4c Revert #54477 but keep the tests (#57160) 2024-01-24 16:29:45 -08:00
Andrew Branch 94f4379bca Fix isolatedModules check for export assignments (#57148) 2024-01-24 12:03:18 -08:00
Andrew Branch 25a4f9e535 Deprioritize declaration emit paths from baseUrl containing node_modules (#57145) 2024-01-23 13:31:15 -08:00
Gabriela Araujo Britto 0a2b0bbb4b No number constraint to mapped type with as clause (#57093) 2024-01-19 14:36:51 -08:00
Andrew Branch 6cb6fc94ae Add --module preserve, support require in --moduleResolution bundler (#56785) 2024-01-19 12:03:24 -08:00
Gabriela Araujo Britto 4a34f45099 Revert "Fixed apparent type of homomorphic mapped type with non-homomorphic instantiation (#56727)" and add test (#57092) 2024-01-19 10:25:54 -08:00
Jake Bailey ad2f465a38 Detect binary files by checking first 256 code units for 0xFFFD (#57008) 2024-01-16 16:15:23 -08:00
Gabriela Araujo Britto 59b6f78c29 Revert "Add numeric constraint to type parameter of mapped types with… (#57076) 2024-01-16 13:02:54 -08:00
Mateusz Burzyński 3f8707d04f Add numeric constraint to type parameter of mapped types with name type and array constraints (#55774) 2024-01-16 10:59:00 -08:00
Titian Cernicova-Dragomir fea4a4544f Do not remove binding alias in function declarations (#57020) 2024-01-12 11:23:22 -08:00
Kevin Gibbons fbf908bd58 Add types for Object.groupBy() and Map.groupBy() (#56805)
Co-authored-by: Nick McCurdy <nick@nickmccurdy.com>
Co-authored-by: Karl Horky <karl.horky@gmail.com>
Co-authored-by: Niklas Mollenhauer <nikeee@outlook.com>
2024-01-11 11:17:54 -08:00
Mateusz Burzyński e76972562d Fxied declaration emit for JS files when module.exports is assigned a non-alias value and when it has extra type members (#56243) 2024-01-11 10:31:11 -08:00
Andrew Branch 385db449f5 With allowJs, process JS files found searching node_modules when they have a realpath outside node_modules (#56946) 2024-01-10 10:15:58 -08:00
Mateusz Burzyński 4bcbc16cff Use symbols of type aliases when emitting declarations (#56087) 2024-01-09 13:02:52 -08:00
Mateusz Burzyński 4557e34e70 Emit declarations using alternative containing modules for types exported using separate export statements (#56857) 2024-01-09 11:34:49 -08:00
Wesley Wigham bc74ec41a3 When relating a deferred index type over a mapped type on the source side ... (#56742) 2024-01-09 11:28:02 -08:00
Mateusz Burzyński 3b1db10290 Fixed an issue with write type being left as non-instantiated when coming from a merged instantiation (#56322) 2024-01-09 11:21:50 -08:00
Mateusz Burzyński 424b96475e Fixed apparent type of homomorphic mapped type with non-homomorphic instantiation (#56727) 2024-01-09 11:13:50 -08:00
Mateusz Burzyński 1e00399a38 Fixed emit of return statements with parenthesized assertions and comments (#56601) 2024-01-09 11:10:15 -08:00
Anders Hejlsberg 8ff77fbc48 Preserve type refinements in closures created past last assignment (#56908) 2024-01-08 20:21:05 -08:00