erichkeane accepted this revision.
erichkeane added a comment.
This revision is now accepted and ready to land.

Took me a bit to get the prose, but I think I got it now.  PERHAPS there is use 
to 'finish the thought' on the outcome there?  Either way, LGTM.



================
Comment at: clang/lib/Sema/SemaExpr.cpp:1699
+          // If T is a non-class type, the type of the prvalue is the cv-
+          // unqualified version of T. Otherwise, the type of the prvalue is T.
           unsigned Reason = 0;
----------------
This seems like it is a sentence short (or perhaps I'm a few synapses short?). 

The fallout from these rules is that "Non-class-types" never have qualifiers, 
thus cannot match a qualified type, but a class-type can, because it keeps its 
qualifiers?

 


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125882

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to