microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-05-14 09:49:40 -05:00
Code Issues Packages Projects Releases 212 Wiki Activity

Rest in an untyped binding pattern should be any

Browse Source
This commit is contained in:
Nathan Shively-Sanders
2016-11-29 13:46:00 -08:00
parent e313fef683
commit fe55edc38e
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/compiler/checker.ts
View File

@@ -3099,6 +3099,15 @@ namespace ts {
error(declaration, Diagnostics.Rest_types_may_only_be_created_from_object_types);
return unknownType;
}
const parent = pattern.parent as VariableLikeDeclaration;
if (parent.kind === SyntaxKind.Parameter &&
!parent.type &&
!parent.initializer &&
!getContextuallyTypedParameterType(parent as ParameterDeclaration)) {
// if this type came from examining the structure of the pattern --
// there was no other information -- then it is not sufficient to determine the rest type, so just return any
return anyType;
}
const literalMembers: PropertyName[] = [];
for (const element of pattern.elements) {
if (!(element as BindingElement).dotDotDotToken) {