[clang] Fix tests requiring Z3 headers in standalone builds#146200

mgorny merged 1 commit intollvm:mainllvm/llvm-project:mainfrom

mgorny:clang-z3-testmgorny/llvm-project:clang-z3-testCopy head branch name to clipboard