Function removeOptionalityFromDeclaredType

test/fixtures/snapshot/typescript.js:71471–71485

remove undefined from the annotated type of a parameter when there is an initializer (that doesn't include undefined)

(declaredType, declaration)

        }
        /** remove undefined from the annotated type of a parameter when there is an initializer (that doesn't include undefined) */
        function removeOptionalityFromDeclaredType(declaredType, declaration) {
            if (pushTypeResolution(declaration.symbol, 2 /* TypeSystemPropertyName.DeclaredType */)) {
                var annotationIncludesUndefined = strictNullChecks &&
                    declaration.kind === 164 /* SyntaxKind.Parameter */ &&
                    declaration.initializer &&
                    getFalsyFlags(declaredType) & 32768 /* TypeFlags.Undefined */ &&
                    !(getFalsyFlags(checkExpression(declaration.initializer)) & 32768 /* TypeFlags.Undefined */);
                popTypeResolution();
                return annotationIncludesUndefined ? getTypeWithFacts(declaredType, 524288 /* TypeFacts.NEUndefined */) : declaredType;
            }
            else {
                reportCircularityError(declaration.symbol);
                return declaredType;
            }
        }
        function isConstraintPosition(type, node) {
            var parent = node.parent;
            // In an element access obj[x], we consider obj to be in a constraint position, except when obj is of