interface&type inference #61699
Description
🔎 Search Terms
"type", "interface", "inference", "Record<string, any[]>"
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about inferface
⏯ Playground Link
💻 Code
interface A {
key: any[]
}
type B = {
key: any[]
}
type ResultA = A extends Record<string, any[]> ? true : false // false
type ResultB = B extends Record<string, any[]> ? true : false // true
type Test<T extends Record<string, any[]>> = {}
type ResultC = Test<A> // error🙁 Actual behavior
ResultA differs from ResultB in inference. Additionally, ResultC causes an error.
🙂 Expected behavior
ResultA is the same as ResultB in inference.
Additional information about the issue
No response