// 'tf_saved_model.exported_names' attribute, then it might be invalid.
    // Forward to the dialect's verification to establish that precondition.
    if (failed(dialect->verifyOperationAttribute(
            &op, {exported_names_ident, attr}))) {
      return failure();
    }
    for (auto str : mlir::cast<ArrayAttr>(attr)) {
      auto exported_name = mlir::cast<StringAttr>(str).getValue();