{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"alloc:"}]}
    alloc: &rustc_middle::mir::interpret::Allocation,
pub fn allocation_filter<'tcx, B: Bridge>(
    alloc_range: AllocRange,