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