{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"join("}]}
        join(
        // It can be removed if it turns out to cause trouble or be detrimental to performance.
            || prefetch_mir(tcx),