{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"TyKind::Adt(_,"}]}
            TyKind::Adt(_, subst) => subst.clone(),
        let subst = match ty.kind(Interner) {
            _ => implementation_error!("Non ADT enum"),