{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME(#132279): This is used during the phase transition from analysis
        let def_id = body.source.def_id();
        // to runtime, so we have to manually specify the correct typing mode.