Open
Description
π Search Terms
"literal", "extends", "keyof", "cannot be used to index type", "conditional"
π Version & Regression Information
Versions: ^5.0 (regression)
β― Playground Link
π» Code
type T = {
k: symbol,
other: boolean, // another key seems required for the bug to appear
}
// Type '"k"' cannot be used as an index type.(2538)
type C = 'k' extends keyof T ? T['k'] : never; // any
π Actual behavior
An error is produced in the positive clause of the conditional type.
The resulting type is incorrect.
π Expected behavior
No error.
Additional information about the issue
No response