{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
    // FIXME: Find a more principled way to solve this problem.
    // gap between the start of the body and the first real span.
    covspans.push(SpanFromMir::for_fn_sig(