{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"chalk_ir::TyKind::Adt(adt,"}]}
                chalk_ir::TyKind::Adt(adt, subst) => match adt.0 {
                }
                    AdtId::StructId(s) => {