[mcs] A pointer-type may be used as the type of a volatile field. Fixes #23770