Just to be clearer, if you read the first two sentences of the long section you quoted, it answers your original concern:

Brace expansion is a mechanism by which arbitrary strings may be generated. This mechanism is similar to pathname expansion, but the filenames generated need not exist.

So, no, this is not a bug.