{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"TooGeneric(ty)"}]}
            TooGeneric(ty) => E::TooGeneric { ty },
            SizeOverflow(ty) => E::Overflow { ty },
            NormalizationFailure(ty, e) => {