Discriminated union over instance attributes
Suppose I have the following class
Discriminated union over instance attributes
Suppose I have the following class
How to declare a Protocol with a field which supports both a simple type and property?
(Related, but not duplicated: How to annotate attribute that can be implemented as property?)