We detect calls to `alloc::alloc::box_free` in our passes, but afaict this function doesn't exist anymore. We should check whether it still shows up.