Incorrect type inference for a field that is not optional, but has type of a union with undefined #524