fn hazard_used_after_block( tcx: TyCtxt<'_>, caller: DefId, start: BasicBlock, hazard_locals: &HashSet<Local>, ) -> bool