[clang] [llvm] [analyzer][NFC] Reorganize Z3 report refutation (PR #95128)

[Donát Nagy via llvm-commits]

================
@@ -26,17 +28,10 @@ namespace {
 class Z3Config {
----------------
NagyDonat wrote:

If I understand it correctly, rule of three/five dictates that the copy/move assignment/construction of this class needs to be handled (or deleted).

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