Commit Graph

26317 Commits

Author SHA1 Message Date
Anders Hejlsberg 6ac0dbcaef Propagate ObjectFlags.NonInferrableType through widening 2019-04-16 09:46:45 -07:00
Alexander T f5d4e66451 Bad error message when default 'import'-ing an 'export =' without 'esModuleInterop' 2019-04-16 14:39:16 +03:00
Wesley Wigham d405662eb6 Explicitly encode keyof behaviors for never and unknown into getIndexType (#30753)
* Explicitly encode keyof behaviors for never and unknown into getIndexType

* Merge similar cases
2019-04-15 17:52:13 -07:00
Anders Hejlsberg cc2ea68492 Fix inference from enum object type to generic mapped type 2019-04-15 15:06:44 -07:00
Daniel Rosenwasser 3dc78b6f3b Merge pull request #30916 from jack-williams/array-elaboration
Elaborate array and tuple relation errors
2019-04-15 14:00:22 -07:00
Andrew 13d9f08976 Gracefully parse 'super' with type arguments (#10677) (#30913) 2019-04-15 13:06:29 -07:00
Jack Williams 2ea91a0e9c Elaborate array and tuple relation errors 2019-04-15 18:16:38 +01:00
Anders Hejlsberg b9f805f2f4 Remove incorrect optimization in getUnionConstraintOfIntersection 2019-04-13 08:15:28 -10:00
Adam Postma e951455215 Update misspelling 'identifer' to 'identifier' (#30894)
* fix typo - identifer to identifier

* fix typo - identifer to identifier
2019-04-12 13:29:00 -07:00
Anders Hejlsberg 4574c7a375 Merge pull request #30877 from Microsoft/fixConditionalTypeSimplification
Fix conditional type simplification
2019-04-12 07:35:19 -10:00
Anders Hejlsberg 6282645e3c Merge pull request #30857 from Microsoft/fixInferenceToIntersection
Fix inference to intersections
2019-04-12 07:34:40 -10:00
Anders Hejlsberg 6cd229b4b9 Merge pull request #30769 from Microsoft/saferIndexedAccessTypes
Improve soundness of indexed access types
2019-04-12 07:33:50 -10:00
Anders Hejlsberg 2ee2ffb8e7 Use object identity check instead of IsTypeIdenticalTo 2019-04-11 16:14:21 -10:00
Anders Hejlsberg 42302705f6 Merge pull request #30856 from Microsoft/nonInferrableType
Add a proper non-inferrable type
2019-04-11 11:45:17 -10:00
Nathan Shively-Sanders 84427ea90e Update DOM 2019/04/11 (#30867)
* Update DOM 2019/04/11

* Update baselines
2019-04-11 13:27:21 -07:00
Anders Hejlsberg ca47ddb583 Only infer to single naked type parameters in intersections 2019-04-10 17:41:51 -10:00
Anders Hejlsberg 4b813e310c Simplify non-inferrable property check to rely on propagation 2019-04-10 17:05:07 -10:00
Anders Hejlsberg 411e7144a9 Add new nonInferrableType with ObjectFlags.NonInferrableType 2019-04-10 16:53:38 -10:00
Nathan Shively-Sanders ff959096df Fix some bad jsdoc comment indent (#30838)
* First draft

Solves the initial problem but breaks commentCommentParsing. I also
found a couple more interesting cases.

* Add more tests and fix their bugs

* Another test case

* Some cleanup

I may try do a little more; `margin += tag.end - tag.pos` bothers me a
bit.

* More cleanup
2019-04-10 08:22:09 -07:00
Anders Hejlsberg c8ff4bd9b3 Properly filter mapped types in getIndexType with noIndexSignatures=true 2019-04-09 15:29:40 -10:00
Anders Hejlsberg fa407cef85 Remove old comment 2019-04-09 07:51:12 -10:00
Anders Hejlsberg eb1e7ec6db Optimize T[K] where T has string index signature and no other members 2019-04-08 09:36:34 -10:00
Nathan Shively-Sanders 90b304aa5e Merge pull request #30786 from Microsoft/always-check-class-extends
Always check extends clause of classes
2019-04-08 10:25:05 -07:00
Andrew Branch 786753d13f Use suggestion instead of ignoring UMD global access 2019-04-08 09:46:48 -07:00
Andrew Branch 98cd89fbc1 Add affectsSemanticDiagnostics to flag (and move to right spot) 2019-04-08 09:46:48 -07:00
Andrew Branch 28b21df943 Add period to compiler flag description to match others 2019-04-08 09:46:47 -07:00
Andrew Branch 11e45162ea Don’t emit diagnostic accessing UMD globals from modules when flag is set 2019-04-08 09:46:47 -07:00
Andrew Branch 2ee93bf0f2 Add allowUmdGlobalAccess flag 2019-04-08 09:46:46 -07:00
Nathan Shively-Sanders 86f0d4b95a Merge pull request #30754 from Microsoft/update-dom-042019
Update DOM 04-04-2019
2019-04-08 09:38:31 -07:00
Anders Hejlsberg b49a34375d Simplify obtaining base constraint of T[K] for writing 2019-04-08 06:36:00 -10:00
Andrew Branch bafa4c90c1 Merge pull request #30758 from andrewbranch/bug/30647
Fix crash when checking function call
2019-04-08 09:22:39 -07:00
Nathan Shively-Sanders c9f44f54c6 Merge branch 'master' into update-dom-042019 2019-04-08 09:06:34 -07:00
Anders Hejlsberg 2b6e7304c1 Merge branch 'master' into tweakUnionTypeInference 2019-04-06 08:12:45 -10:00
Anders Hejlsberg e1fd5e5225 Fix unsafe parameter coercions related to PragmaPseudoMap 2019-04-06 06:29:59 -10:00
Anders Hejlsberg 294580287d Merge branch 'master' into saferIndexedAccessTypes 2019-04-05 16:23:48 -10:00
Nathan Shively-Sanders 1218f29662 Merge branch 'master' into always-check-class-extends 2019-04-05 16:41:15 -07:00
Nathan Shively-Sanders dabf2a6af2 Always check extends clause of classes
Even if (1) @extends is provided and (2) we're not producing
diagnostics. That's because we need to know whether the extends clause
references an imported alias.
2019-04-05 16:37:27 -07:00
Wesley Wigham c1f2aba364 Cache substitution types (#30775) 2019-04-05 14:37:47 -07:00
Anders Hejlsberg f93f8d32c4 Tweak union type inference to restore previous behavior 2019-04-05 13:23:54 -07:00
Sheetal Nandi 8684c3bfb8 Merge pull request #30740 from Microsoft/moduleAndAmbientResolutionConflict
When old program resolved to module and that file is included, dont consider as ambient resolution.
2019-04-05 12:15:06 -07:00
Nathan Shively-Sanders 9e2446073d Merge pull request #30773 from Microsoft/update-user-tests
Update TypeScript-React-Native-Starter
2019-04-05 11:18:27 -07:00
Nathan Shively-Sanders 0b3b4ea127 Added error for class properties used within their own declaration (#29395)
* Added error for class properties used within their own declaration

Fixes #5987.

Usages of a class property in a preceding property already gave an error, but the following doesn't yet:

```ts
class Test {
    x: number = this.x;
}
```

As with other use-before-declare checking, IIFEs are not treated as invalid uses.

* Accepted 'witness' baselines; removed unnecessary !==

* Addressed quick feedback items

* Accepted odd new baseline

* Fixed post-merge introduced lint errors

* Updated baselines again
2019-04-05 09:06:36 -07:00
Anders Hejlsberg d69aeb4af6 T[K] ignores index signatures in T's constraint 2019-04-04 15:28:34 -07:00
Wesley Wigham 16450a027a Change the default type parameter constraints and defaults to unknown from {} (#30637)
* Change the default type parameter constraint and default to unknown from {}

* Relax unknown checking outside of strictNullChecks a bit

* Increase strictness on index signatures with type `unknown` so inference doesnt change surprisingly

* Remove redundant switch
2019-04-04 12:25:15 -07:00
Andrew Branch 8c51115be1 Merge pull request #30734 from andrewbranch/bug/30664
Fall back from `globalReadonlyArrayType` to `globalArrayType` when transpiling
2019-04-04 11:57:08 -07:00
Andrew Branch da3fdd11c1 Fix arity error sometimes reaching out of bounds of the arguments actually present 2019-04-04 11:47:26 -07:00
Nathan Shively-Sanders 762a557fcc Update TypeScript-React-Native-Starter
Add a 'path' field to test.json.
2019-04-04 11:37:15 -07:00
Josh Goldberg e767ee0472 Merge branch 'master' into property-use-before-declare 2019-04-04 14:05:19 -04:00
Nathan Shively-Sanders 1e7482ad05 Update DOM 04-04-2019 2019-04-04 10:27:48 -07:00
Daniel Rosenwasser 71af02f745 Updated annoying 'globalTypes' list. 2019-04-04 10:16:43 -07:00