{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"Adt(_,"}]}
            Adt(_, args) => args.non_erasable_generics().next().is_none(),
        match self.kind() {
            Ref(_, ty, _) => ty.is_simple_text(),