CWG3200 [dcl.type.cv] The possibility of a qualified pointer pointing to an unqualified object should be a note

[t3nsor]

Full name of submitter: Brian Bi

Issue description: The first half of the normative text of [dcl.type.cv]/3 is redundant with [conv.qual], [dcl.init.ref], and so on. The second half is redundant with [basic.lval]/10. Both are written in an imprecise, note-like style.

Suggested resolution: Modify [dcl.type.cv]/3 as follows:

[Note 4: A pointer or reference to a cv-qualified type need not actually point or refer to a cv-qualified object, but it is treated as if it does; a const-qualified access path cannot be used to modify an object even if the object referenced is a non-const object and can be modified through some other access path. [Note 4: Cv-qualifiers are supported by the type system so that they cannot be subverted without casting. — end note]

[jensmaurer]

CWG3200