{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"super::AggregateKind::Adt(_,"}]}
                                super::AggregateKind::Adt(_, subst) => self.fill_subst(subst)?,
                                | super::AggregateKind::Closure(ty) => self.fill_ty(ty)?,
                                super::AggregateKind::Union(_, _) => (),