Microsoft/TypeScript
Ver no GitHubMisleading EPC error on deferred generic type when assigning any object literal, but empty object is also not assignable
Open
#56.391 aberto em 14 de nov. de 2023
BugDomain: check: Excess Property CheckingHelp Wanted
Métricas do repositório
- Stars
- (48.455 stars)
- Métricas de merge de PR
- (Mesclagem média 6d 17h) (9 fundiu PRs em 30d)
Description
🔎 Search Terms
N/A (bug report forked from #56388)
🕗 Version & Regression Information
- This is the behavior in every version I tried
⏯ Playground Link
💻 Code
type S = {x: 'abc'}
function f<T extends S>() {
const x: {[k in T['x']]: number} = {abc: 1} // EPC error, for any imaginable key
const y: {[k in T['x']]: number} = {} // ...but this is also a (correct!) type error
}
🙁 Actual behavior
EPC diagnostic on any non-empty object literal, but {} is also not assignable.
🙂 Expected behavior
No EPC diagnostic; should just be a straight assignability failure.
Additional information about the issue
Producing an EPC (excess property check) error for any non-empty object literal here is misleading since that ultimately implies {} would be a legal value (it is not). 5.3 exacerbates this because it removes the "X is not assignable to Y" text from EPC diagnostics, which further implies that the value would be legal if assigned indirectly (also not true; the type is generic and might have other properties).