{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
        // For each diverging var, look through the HIR for a place to give it
            self.tcx.hir_maybe_body_owned_by(self.body_id).expect("body id must have an owner");
        // a type annotation. We do this per var because we only really need one