Huh? From the docs:
CaseIterable
A type that provides a collection of all of its values.
That seems pretty explicit that any possible value ought to be contained in the allCases collection (the docs for which reiterate the "all values" terminology).