tmp/tmpn7dxdw_e/{from.md → to.md}
RENAMED
|
@@ -13,16 +13,15 @@ If the *id-expression* in a class member access ([[expr.ref]]) is an
|
|
| 13 |
*unqualified-id*, and the type of the object expression is of a class
|
| 14 |
type `C`, the *unqualified-id* is looked up in the scope of class `C`.
|
| 15 |
For a pseudo-destructor call ([[expr.pseudo]]), the *unqualified-id* is
|
| 16 |
looked up in the context of the complete *postfix-expression*.
|
| 17 |
|
| 18 |
-
If the *unqualified-id* is *
|
| 19 |
-
|
| 20 |
-
|
| 21 |
-
|
| 22 |
-
|
| 23 |
-
`T`.
|
| 24 |
|
| 25 |
``` cpp
|
| 26 |
struct A { };
|
| 27 |
|
| 28 |
struct B {
|
|
|
|
| 13 |
*unqualified-id*, and the type of the object expression is of a class
|
| 14 |
type `C`, the *unqualified-id* is looked up in the scope of class `C`.
|
| 15 |
For a pseudo-destructor call ([[expr.pseudo]]), the *unqualified-id* is
|
| 16 |
looked up in the context of the complete *postfix-expression*.
|
| 17 |
|
| 18 |
+
If the *unqualified-id* is `~`*type-name*, the *type-name* is looked up
|
| 19 |
+
in the context of the entire *postfix-expression*. If the type `T` of
|
| 20 |
+
the object expression is of a class type `C`, the *type-name* is also
|
| 21 |
+
looked up in the scope of class `C`. At least one of the lookups shall
|
| 22 |
+
find a name that refers to (possibly cv-qualified) `T`.
|
|
|
|
| 23 |
|
| 24 |
``` cpp
|
| 25 |
struct A { };
|
| 26 |
|
| 27 |
struct B {
|