At least one of the types must be closed, and that...

# announcements

[fellshard]

At least one of the types must be closed, and that's key. Otherwise you could create a StringifiedInt that extends both, satisfies the conditions, and continues on.