Why does strict-raw-types not apply to is or as?

[mmcdon20]

Assuming analysis_options.yaml:

analyzer:
  language:
    strict-raw-types: true

Consider the following piece of code:

class Generic<T> {
  T value;
  Generic(this.value);
}

void main() {
  Object o = Generic(5);
  if (o is Generic) /* o is implicitly promoted to Generic<dynamic> */ {
    print(o.value);
  }
}

There is no warning for o is Generic even though Generic is in fact a raw type. I realize that this behavior is to spec, since the spec makes a specific exemption for is and as. But the exemption seems counter to the goal of the feature. If you actually want to promote o to Generic<dynamic> you can always write that explicitly if (o is Generic<dynamic>).