JSDoc @param and @returns types cannot access typeof other @params

[andrewbranch]

Bug Report

🔎 Search Terms

JSDoc param return typeof visibility

⏯ Playground Link

Playground link with relevant code

💻 Code

/**
 * @param {string | number | { x: number } | { y: 'hello' }} a
 * @param {typeof a | symbol[]} b
 * @returns {[typeof a, typeof b]}
 */
function makeTuple(a, b) {
    return [a, b];
}

🙁 Actual behavior

Cannot find name 'a' / 'b'

🙂 Expected behavior

Should work, the same way that it works in TS:

function makeTuple(a: string | number | { x: number } | { y: 'hello' }, b: typeof a): [typeof a, typeof b] {
    return [a, b];
}

[andrewbranch]

/cc @sandersn to ensure this isn’t a duplicate / undesirable / impossible / previously discussed

[sandersn]

It's new to me -- those TS types seem weird and undesirable to me, so it's likely that my JS semantics are just wrong compared to TS.

[andrewbranch]

It’s a contrived example. The motivation is basically to avoid repeating verbose types if a later parameter or return type can be expressed in terms of a parameter type.

[awerlogus]

Related: #43403