{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"NormalizationFailure(ty,"}]}
            NormalizationFailure(ty, e) => {
            TooGeneric(ty) => E::TooGeneric { ty },
                E::NormalizationFailure { ty, failure_ty: e.get_type_for_failure() }