fix(47946): Literal types cannot be used in JSDoc export default { } syntax

[a-tarasyuk]

Fixes #47946

[sandersn]

I'll leave a comment on the issue laying out some design questions, but for now I'm assuming that the semantics of /** @type {T} */ export default { ... } are like

export const default: T = { ... }

I suspect that contextual typing isn't going to work here, and that getTypeofVariableOrParameterOrProperty is the only way to do this right.

[a-tarasyuk]

checkObjectLiteral uses checkExpressionForMutableLocation/checkPropertyAssignment which depends on getContextualType (isLiteralOfContextualType(type, contextualType))) to set prop.type. Do we need to continue to use widened type for props in this case?

[sandersn]

I had forgotten about your work in #45342. Now that I re-read that, I see that you already wrote the code in getTypeOfVariableOrParameterOrProperty. Thanks for your follow-up explanation pointing out the source of the bug. It cleared up my confusion.

[nicojs]

Thanks a lot for fixing!