Why doesn't typescript accept the parent's type?

Question

typescript

Here is an example
https://www.typescriptlang.org/play?#code/KYDwDg9g...

With api comes a list of simple objects and extended ones, for this I made a simple type, an extended one and their combination.
It seems that in the processing I set explicit filtering by the field from the extended type,
but some kind of wild error pops up

No overload matches this call.

PS Why do I not specify the attributes field as optional, in the original there is not one field added, but several, and if the type is extended, they must be present all, or none, then this is a simple type.

Answer 1

Because you are trying to apply a particular case to a general one.
https://www.typescriptlang.org/play?#code/KYDwDg9g...
(you forgot the parentheses in the last map)