{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"&TyKind::Adt(AdtId(adt),"}]}
                    &TyKind::Adt(AdtId(adt), _) => {
                    }
                        ctor = match pat.kind.as_ref() {