I relaxed this test and marked the original as broken We need to expand our resolution here to walk through the `PhiNode` in the LLVM IR and notice the ccall / `jl_load_and_lookup` machinery. _Originally posted by @topolarity in https://github.com/JuliaLang/AllocCheck.jl/pull/68#discussion_r1471788425_