{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"match"}]}
        match self.kind() {
    pub fn is_trivially_wf(&self, tcx: TyCtxt<'tcx>) -> bool {
            TermKind::Ty(ty) => ty.is_trivially_wf(tcx),