Generic parameter in conditional type produces unexpected variance

Question

Given the following code, I expect it to compile without errors:

type Immutable = T extends object 
    ? { re