efriedma-quic wrote: With my patch, we diagnose "error: class member cannot be redeclared" (because we prove that both "xx" and "*&xx" are equal to zero, and neither is marked value-dependent). https://github.com/llvm/llvm-project/pull/211706