SE-0280: Enum cases as protocol witnesses