unique symbol from the same source text position via multiple construction should be incompatible

[Jack-Works]

Bug Report

🔎 Search Terms

unique symbol

🕗 Version & Regression Information

Tested on 4.7.0

⏯ Playground Link

Playground link with relevant code

💻 Code

declare let cond: boolean
function z() {
    const a = Symbol()
    return { a: a } as const
}
let x = z()
let y = z()

// Expected Error: Type 'typeof a' is not assignable to type 'typeof a'. Two different types with this name exist, but they are unrelated.
if (cond) {
    x = y
} else {
    y = x
}
export {}

🙁 Actual behavior

No type error

🙂 Expected behavior

Type 'typeof a' is not assignable to type 'typeof a'. Two different types with this name exist, but they are unrelated.

[whzx5byb]

Duplicate of #40106