CWG2887 [diff.cpp03.expr] Should we list the behavioral change of `typeid` in C++11 due to N3055?

[frederick-vs-ja]

In the following example, the operand of typeid (an xvalue of a polymorphic class type) wasn't evaluated in C++98, but was made to evaluated since C++11 due to N3055.

#include <typeinfo>
#include <cstdio>

struct B {
  virtual ~B() { std::puts("~B"); }
};

struct D : B {};

struct WrapB {
  B b;
};

struct WrapD {
  D d;
};

int main() {
  typeid(true ? WrapB().b : WrapD().d);
}

[t3nsor]

Issues like this need to be submitted to CWG so that we can review the example

[frederick-vs-ja]

@t3nsor Submitted an issue in the CWG repo. CWG2887

[frederick-vs-ja]

Should be fixed by #7099 (8400611).