Cv-qualifications of prvalues (revisited)
Why are you doubting the language of 7.2.2? This seems pretty unambiguous that cv qualifiers are discarded on non-class, non-array prvalues, so the type T in temporary materialization is a non-const, non-volatile type. If that weren’t the case, then you wouldn’t be able to bind prvalues to non-const rvalue references. Yet it seems overwhelmingly likely … Read more