[basic.fundamental] CWG 2185: Missing "and cv-qualified versions of those types" for various type categories

[Rakete1111]

Every type category in [basic.fundamental] (integrals, narrow character types, floating points, ...) don't mention cv-qualified types. For example [basic.fundamental]p7:

Types bool, char, char16_­t, char32_­t, wchar_­t, and the signed and unsigned integer types are collectively called integral types.

Is const bool an integral type? Obviously yes, but this is not mentioned anywhere. Because a lot of type categories are introduced in that section, maybe add a new paragraph that says something like:

If a type T is a X type, where X is one of the types of types mentioned in this section, then cv-qualifiers T is also a X type.

[cpplearner]

How does it interact with [basic.type.qualifier]/1?

A type mentioned in [basic.fundamental] and [basic.compound] is a cv-unqualified type.

[Rakete1111]

Oh yeah thanks, looks like a contradiction. Probably better to also change that sentence I think (if there is no better alternative).

Also just noticed that [basic.compound] has some definitions that also suffer from the same issue as [basic.fundamental].

[jensmaurer]

This is CWG2185.

[frederick-vs-ja]

Should have been fixed by #4693 (4df64b4).