带枚举的dart开关案例中缺少case子句错误

我为枚举编写了这个简单的开关案例：

enum Operation {
  CREATE,
  UPDATE,
  DELETE,
  READ
}

...

void check(Operation op) {
    switch(op) { // dart complains here
      case Operation.CREATE:
        insert();
        break;
      case Operation.UPDATE:
        update();
        break;
      case Operation.DELETE:
        delete();
        break;
}

它在此switch(op)行抱怨此错误：

错误：“读取”的缺少大小写子句。
尝试为缺少的常量添加case子句，或添加默认常量。

如果我遵循建议并添加一个READ或多个default案例，该问题将得到解决。
但是我的问题是：为什么会这样？为什么我不能遗漏案件？如果我不想在这里检查该怎么办？我检查了dart语言文档，该文档显示：

您可以在switch语句中使用枚举，如果不处理所有枚举值，则会收到警告

但就我而言，这绝对是错误，而不是警告。我正在使用dart开发flutter应用程序（如果有所作为）。