{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"})"}]}
            })
                    .unwrap_or_else(|| self.new_opaque(op.ty(self.local_decls, self.tcx)))
            .collect();