A name which is a qualified identifier or operator translates as the translated id prefixed with full qualification. For example, A.f will translate as A::f, and A.+ as A::RSL_PLUS_op.