}

  for (auto& arg : op->getOpOperands()) {
    Value v = arg.get();
    if (!IsResourceType(arg.get().getType())) continue;
    if (alias_analysis.IsUnknownResource(v)) continue;
    for (auto id : alias_analysis.GetResourceUniqueIds(v)) {
      (void)id;
    }
  }

  for (auto& arg : op->getOpOperands()) {
    if (!IsResourceType(arg.get().getType())) {
      continue;
    }
    auto lattice =

  // Convert a list of mlir::Value's into a list of mlir::Type's
  std::vector<Type> types;
  types.reserve(input.size());
  for (auto val : input) types.push_back(val.getType());
  return types;
}

bool IsResourceType(Type val_type) {
  if (auto tensor_type = mlir::dyn_cast<mlir::TensorType>(val_type)) {
    if (mlir::isa<TF::ResourceType>(tensor_type.getElementType())) {
      return true;
    }
  }
  return false;
}