[clang] [clang][dataflow] Disallow setting properties on `RecordValue`s. (PR #76042)

[via cfe-commits]

================
@@ -184,33 +188,23 @@ class PointerValue final : public Value {
 /// In C++, prvalues of class type serve only a limited purpose: They can only
 /// be used to initialize a result object. It is not possible to access member
 /// variables or call member functions on a prvalue of class type.
-/// Correspondingly, `RecordValue` also serves only two limited purposes:
-/// - It conveys a prvalue of class type from the place where the object is
-///   constructed to the result object that it initializes.
+/// Correspondingly, `RecordValue` also serves only a limited purpose: It
+/// conveys a prvalue of class type from the place where the object isx
----------------
martinboehme wrote:

Oops -- thanks for catching! Fixed.

https://github.com/llvm/llvm-project/pull/76042