satisfies

Whether this actual type satisfies a requirement for required.

Exact equality except for FixedLineOrMobile, which satisfies Mobile and FixedLine because in the regions that report it those two are genuinely indistinguishable. Requiring FixedLineOrMobile explicitly, conversely, is satisfied by a definite Mobile or FixedLine too: the requirement is "a normal voice line", and a number known to be mobile meets it.