Should getters still infer the same type from setters over their return expressions?

[DanielRosenwasser]

class C {
    #x = Promise.resolve("")

    set myValue(x: Promise<string> | string) {
        this.#x = Promise.resolve(x);
    }
    get myValue() {
        return this.#x;
    }
}

Should the get type of myValue be Promise<string> or just string | Promise<string>? Right now it is the latter; but technically, the former provides a more specific type.

Changing this technically would be a breaking change.

[MartinJohns]

Related: #2521 / #42425.

Personally I would keep it as is, and allow users to opt-in to the new behavior with an explicit type annotation.

[ahejlsberg]

I agree, I don't think there is a compelling case for us to infer divergent getter and setter types.

[RyanCavanaugh]

I also would prefer to keep the current behavior

[DanielRosenwasser]

Consensus'd