Skip to content

infer on setter argument gives unknownΒ #47146

Closed
@Galphimbl

Description

@Galphimbl

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

Metadata

Metadata

Assignees

Labels

BugA bug in TypeScriptFix AvailableA PR has been opened for this issue

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions