{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"ungated!(non_exhaustive,"}]}
    ungated!(non_exhaustive, Normal, template!(Word), WarnFollowing),
    ungated!(no_implicit_prelude, Normal, template!(Word), WarnFollowing),