Generic union type inferred differently from equivalent direct union type

Question

Consider the following:

type UnwrapNullable1 = Required<{ x?: (1 | undefined) }>["x"]
type UnwrapNullable = Required<{ x?: T }>