Bug Report

🔎 Search Terms

setter, getter, infer

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about Conditional Types

⏯ Playground Link

Playground Link

💻 Code

interface Test1 {
    get prop(): string;
    set prop(v: string | number);
}
type SetterType<T, K extends keyof T> = T extends {set [P in K](v: infer U);} ? U : T[K];

declare const setter: SetterType<Test1, 'prop'>; // unknown 

🙁 Actual behavior

Hovering on setter gives you

const setter: unknown

🙂 Expected behavior

Hovering on setter gives you

const setter: string | number