Ensure additional properties are present if one property is present
I want to build a type that requires certain properties to be present in case another property is present.
I want to build a type that requires certain properties to be present in case another property is present.