[PATCH] D147839: [clang] Add test for CWG2007

[Vlad Serebrennikov via Phabricator via cfe-commits]

Endill added inline comments.


================
Comment at: clang/test/CXX/drs/dr20xx.cpp:20
+// FIXME: the following code shouldn't instantiate A<void>.
+// int b = (&b2)->foo;
+}
----------------
shafik wrote:
> shafik wrote:
> > It looks like gcc and MSVC also instantiate `A<void>` for this case: https://godbolt.org/z/8W8eYoa38
> > 
> > I have to think about it some more but if we believe clang is wrong here, you should file a bug report.
> I think [unary &](https://eel.is/c++draft/over.match.oper#3.3) is triggering the instantiation. 
Does it mean that we should craft a better example?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D147839/new/

https://reviews.llvm.org/D147839