Open
Description
π Search Terms
excess property check recursive generic contraint type variable inference
π Version & Regression Information
- This is the behavior in every version I tried
β― Playground Link
π» Code
type StateSchema = {
states?: Record<string, StateSchema>;
};
declare function createMachine<TConfig extends StateSchema>(
config: TConfig,
): TConfig;
createMachine({
entry: [{ type: "foo" }],
states: {
a: {
entry: [{ type: "bar" }],
},
},
});
π Actual behavior
At the nested entry
property the error is raised:
Object literal may only specify known properties, and 'entry' does not exist in type 'StateSchema'.(2353)
but it isn't raised at the entry
property at the root of this object.
π Expected behavior
I'd expect no excess property error to be raised with a recursive constraint like this.
Additional information about the issue
This particular case is somewhat easily fixable by adding [k: string]: unknown
to StateSchema
. I still find the reported behavior to be a problem though.