Generics type loss while infering

Question

I\'m facing a strange issue when adding a property to an intersection type, a generic parameter is loss. Considering the following :

type Service = Record<