Method checkDestructuringAssignment

internal/checker/checker.go:12514–12545

(node *ast.Node, sourceType *Type, checkMode CheckMode, rightIsThis bool)

}

func (c *Checker) checkDestructuringAssignment(node *ast.Node, sourceType *Type, checkMode CheckMode, rightIsThis bool) *Type {
	var target *ast.Node
	if ast.IsShorthandPropertyAssignment(node) {
		initializer := node.AsShorthandPropertyAssignment().ObjectAssignmentInitializer
		if initializer != nil {
			// In strict null checking mode, if a default value of a non-undefined type is specified, remove
			// undefined from the final type.
			if c.strictNullChecks && !c.hasTypeFacts(c.checkExpression(initializer), TypeFactsIsUndefined) {
				sourceType = c.getTypeWithFacts(sourceType, TypeFactsNEUndefined)
			}
			c.checkBinaryLikeExpression(node.Name(), node.AsShorthandPropertyAssignment().EqualsToken, initializer, checkMode, nil)
		}
		target = node.Name()
	} else {
		target = node
	}
	if ast.IsBinaryExpression(target) && target.AsBinaryExpression().OperatorToken.Kind == ast.KindEqualsToken {
		c.checkBinaryExpression(target, checkMode)
		target = target.AsBinaryExpression().Left
		// A default value is specified, so remove undefined from the final type.
		if c.strictNullChecks {
			sourceType = c.getTypeWithFacts(sourceType, TypeFactsNEUndefined)
		}
	}
	if ast.IsObjectLiteralExpression(target) {
		return c.checkObjectLiteralAssignment(target, sourceType, rightIsThis)
	}
	if ast.IsArrayLiteralExpression(target) {
		return c.checkArrayLiteralAssignment(target, sourceType, checkMode)
	}
	return c.checkReferenceAssignment(target, sourceType, checkMode)
}

func (c *Checker) checkObjectLiteralAssignment(node *ast.Node, sourceType *Type, rightIsThis bool) *Type {
	properties := node.PropertyList()