[llvm] [Support] Remove unused includes (NFC) (PR #116752)

[Kazu Hirata via llvm-commits]

================
@@ -6,9 +6,7 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "llvm/ADT/ScopeExit.h"
----------------
kazutakahirata wrote:

Thank you for pointing this out!  I'll remove the `Z3Solver.cpp` bits.

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