{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"traversal_order:"}]}
    traversal_order: &[mir::BasicBlock],
    fx: &FunctionCx<'a, 'tcx, Bx>,
) -> DenseBitSet<mir::Local> {