Andrew Branch
956436853e
Fix crash getting error for type alias index signature without a type
2019-04-24 10:35:23 -07:00
Wesley Wigham
d7f03fb0fa
Parse generic function types in import type argument lists ( #31079 )
...
* Parenthesize in import type node factory
* And now parse unparenthesized generic functions so we can handle parsing the older output
2019-04-23 14:48:31 -07:00
Wesley Wigham
b47194bfa1
Fix contextual types for a single jsx child ( #31040 )
2019-04-23 13:51:39 -07:00
Andrii Dieiev
54fa950757
Skip primitive types comparison with array and object types ( #31077 )
2019-04-23 13:49:32 -07:00
Wesley Wigham
b02b823f03
Track parameter references errors in resolve name rather than secondary pass ( #30349 )
2019-04-23 13:46:19 -07:00
Klaus Meinhardt
760393f893
fix false positive 'variable is used before being assigned' in destructuring ( #29636 )
...
Fixes : #29458
2019-04-23 13:22:37 -07:00
Matt McCutchen
6487d1ffe0
Remove the rule that replaces a union of literal types with the base type when comparing equality to a type that isn't a union of literal types. ( #27588 )
...
type when comparing equality to a type that isn't a union of literal
types.
The rule is redundant because a primitive type is already directed-
comparable to a value of that primitive type, and it causes errors to be
missed when comparing a type parameter _constrained_ by a union of
literal types to another union of literal types.
The baseline changes look like improvements to me.
Fixes #26758 .
2019-04-23 12:59:07 -07:00
Wenlu Wang
bd178746de
improve error message when type have same name ( #27065 )
...
* improve error message when type have same name
* fix lint and function name
* update test case
* accept baseline
2019-04-23 12:56:03 -07:00
Daniel Rosenwasser
c74d25c115
30837 - Bad error message when default 'import'-ing an 'export =' without 'esModuleInterop' ( #30847 )
...
30837 - Bad error message when default 'import'-ing an 'export =' without 'esModuleInterop'
2019-04-23 11:23:06 -04:00
Daniel Rosenwasser
6427711f99
Better erreor messages for properties mis-handled as shorthand property declarations ( #31039 )
...
Better erreor messages for properties mis-handled as shorthand property declarations
2019-04-22 16:14:21 -04:00
Wesley Wigham
7a3e68fc5c
Only return the substitute in substitution instantiation when assignability fails (rather than subtype) ( #31027 )
...
* Only return the substitute in substitution instantiation when assignability fails (rather than subtype)
* Add test from issue
2019-04-19 16:02:11 -07:00
Wesley Wigham
40a2eb2b4b
Unify couldContainTypeVariables and the similar check done during instantiation ( #30969 )
...
* Stop symbol based filtering in couldContainTypeVariables
* Unify couldContainTypeVariables and the similar check done during instantiation
2019-04-19 16:01:53 -07:00
Wesley Wigham
1a4c15fb11
handle generic types in getArrayifiedType ( #30606 )
2019-04-19 14:32:33 -07:00
karthikkp
181d126b02
diagnostic messages conflicts resolved
2019-04-20 01:38:17 +05:30
Sheetal Nandi
0c18d032e7
Merge branch 'master' into incrementalLateSymbol
2019-04-17 15:41:53 -07:00
Sheetal Nandi
d919f2c113
Add test for #28334
2019-04-17 15:13:09 -07:00
Anders Hejlsberg
a40b08d1d7
Merge pull request #30944 from Microsoft/fixInferenceToMappedType
...
Fix inference from enum object type to generic mapped type
2019-04-17 15:10:34 -07:00
Wesley Wigham
169e485d90
Perform excess property checking on intersection and union members ( #30853 )
...
* Perform excess property checking on intersection and union members
* Allow partial union props to contain the undefined type
* Add test case from #30771
* Un-terse getPossiblePropertiesOfUnionType side-effecting code
* Fix bug exposed in RWC
* Cache results of getPossiblePropertiesOfUnionType
* Fix whitespace
2019-04-16 21:58:48 -07:00
Anders Hejlsberg
f617d1641b
Merge pull request #30963 from Microsoft/fixObjectFlagsPropagation
...
Fix object flags propagation
2019-04-16 07:25:41 -10:00
Anders Hejlsberg
dbe71a2ddd
Add regression test
2019-04-16 10:00:49 -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
83f3d2ee17
Add regression test
2019-04-15 15:06:55 -07:00
Jack Williams
2ea91a0e9c
Elaborate array and tuple relation errors
2019-04-15 18:16:38 +01: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
e44a52a011
Add regression test
2019-04-11 16:22:01 -10:00
Anders Hejlsberg
8cd5d61644
Add regression test
2019-04-10 17:13:04 -10: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
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
Josh Goldberg
e767ee0472
Merge branch 'master' into property-use-before-declare
2019-04-04 14:05:19 -04:00
Daniel Rosenwasser
1dae8fcc30
Fix tests to be non-global.
2019-04-04 10:02:46 -07:00
Josh Goldberg
ee4e90c1fb
Merge branch 'master' into property-use-before-declare
2019-04-03 08:35:22 -04:00
Andrew Branch
85135c38c1
Add baselines for new test
2019-04-02 14:02:29 -07:00
Andrew Branch
c07f219cca
Add failing test
2019-04-02 14:02:23 -07:00
Sheetal Nandi
025d826339
Merge pull request #30513 from Microsoft/incrementalFromCommandLine
...
Allow --incremental from command line
2019-03-29 15:06:48 -07:00
Anders Hejlsberg
c03b7f525c
Merge pull request #30568 from Microsoft/instantiateContextualTypes
...
Contextual typing based on instantiated types
2019-03-28 12:38:01 -07:00
Daniel Rosenwasser
6a244b9058
Added test.
2019-03-27 23:29:22 -07:00
Wesley Wigham
b7881a26a0
Unify substitution type any handling into costruction and instantiation ( #30592 )
...
* Unify substitution type `any` handling into costruction and instantiation
* Strengthen supertype reduction check to reduce breakage
* Rename conditional type fields per convention
* Explicitly handle anyish signatures in compareSignaturesRelated so strict variance doesnt kill subtyping
* Allow tuple expansions to an `any` rest to be considered an `any` signature as well
2019-03-27 12:55:17 -07:00
Sheetal Nandi
6deb9cdfc7
Add test for incremental with --tsbuildinfo file without specifying --out or config
2019-03-26 16:03:06 -07:00
Sheetal Nandi
a4091ae8e3
Merge branch 'master' into incrementalFromCommandLine
2019-03-26 14:57:18 -07:00
Sheetal Nandi
35470b3f3b
Make tsbuildInfoFile as commandline option to tsc (and not tsc -b)
2019-03-25 14:47:36 -07:00
Anders Hejlsberg
887b30682b
Add tests
2019-03-24 11:34:14 -07:00
Wesley Wigham
b86dea03f2
Fix crash caused by cyclic defaults ( #30532 )
2019-03-21 18:27:14 -07:00
Sheetal Nandi
34c3233d18
Allow --incremental to be command line option
2019-03-20 14:48:47 -07:00
Ron Buckton
cfb0adeadf
Merge pull request #28609 from ajafff/class-decorator-generics
...
resolve TypeReference in class decorator at parent of class
2019-03-19 15:46:58 -07:00
Masahiro Wakame
18b8625ef8
fix error on globalThis type extend ( #30460 )
...
* Add test for extend globalThis
* Fix compile aborting
2019-03-18 09:18:27 -07:00
Anders Hejlsberg
36cf12fe0a
Merge pull request #30363 from Microsoft/fixTypeParameterPromotion
...
Higher order type parameter promotion fixes
2019-03-18 08:48:03 -07:00
Anders Hejlsberg
b6aff98fd7
Add test relating type predicates with and without this parameters
2019-03-17 17:39:08 -10:00
Nathan Shively-Sanders
0f598db3e5
Fixes #29524 , a merged UMD-global ( #30403 )
...
This kind of merged symbol causes crashes in two places because it's
marked BlockScoped, which makes us assume that it must be something that
is inside a SourceFile. However, block-scoped checks don't make sense
for this kind of symbol, so I exclude them by looking at the kind of
the valueDeclaration, as @mprobst suggested in the original bug.
2019-03-15 09:45:33 -07:00
Wesley Wigham
563593b8be
Enable better error spans for async functions ( #30413 )
2019-03-14 17:10:42 -07:00