Type inference from argument that is a subclass of a generic class

Question

I have a fairly simple case where Typescript doesn\'t infer the types. I\'d like to know why Typescript behaves this way.

Case where Typescript type inference fails<