[P in keyof T]: T[P] not accepting inferred base type via extends

TypeScript Version: 3.8.3

Search Terms:

• [P in keyof T]?: T[P]
• typescript generic extends in keyof
• typescript generic extends T[P]
• typescript mongo collection generic

Code

interface IModel {
	id: string;
}

type Query<T> = {
	[P in keyof T]?: T[P]
}

export class Base<T extends IModel> {
	public find(query: Query<T>): void {
		// Forward the query to database
		console.log(query);
	}

	public findOneById(id: string): void {
		this.find({ id });
	}
}

Expected behavior:

It’s expected to allow to execute the find with the properties defined on IModel as base of any other model;

Actual behavior:

It shows an error:

Argument of type '{ id: string; }' is not assignable to parameter of type 'Query<T>'.ts(2345)

Playground Link:

https://typescript-play.js.org/#code/JYOwLgpgTgZghgYwgAgJIFkD2ATCAbZAbwCgBIYbALmQGcwpQBzAbmIF9jiwBPABxQCKAV2jcAPABUAfMgC8RMgG0ACslDIA1hG6YYyCQF0A-NQkqD7ThAAevTFDDIEeODRrIAQq4iTkNyCDY7hg4+DIkpLxCAEZ4wAjIMKDYABQAjiJQ3NTCopJSAJTUAG6YFAqkpAD0VcgAYvYA7nBQ2MhgABYoGaLtmMjYcGBw0d5kpAiYIDSYeBAAdHiYjOmZ3AWspBxkUbHxickA8iAQHtyoqRTUdAwgjEXIpeURpJ3ANPNJgSmEam1sGzIHA4QA

Related Issues:

Didn’t find any related issue

[jonhue]

I submitted a fix with #42382, would really appreciate some feedback! 😄

[anlauren]

I was running in the same problem before i understood the concept of more restrictive subtypes. So, i’ve tried to use the type from the generic itslef, T["foo"] in the above example but still no luck there. Should it be reported as a bug or am I getting something wrong:

type BaseType = {id: string};
function fun<M extends BaseType>(s: M["id"]): Partial<M> {
  return { id: s }; // Type '{ id: M["id"]; }' is not assignable to type 'Partial<M>'.
}