Assert a property's type on existence of another property on union type

Question

Is it possible to assert a property\'s type, on an existence of another property?

For example:

interface Base {