That appears to be the semantics implied by the description, but the syntax used isn't able to distinguish conforming types from the existential. The syntax extension FixedWidthInteger: ExpressibleByUnicodeScalarLiteral implies that all conforming types and the existential are given a conformance. One of the nice things about some / any / meta is that it becomes possible to express the intended semantics (regardless of what the intent is).