Incorrect analyzer error on mixin application.

[leafpetersen]

class A<T> {
  void remove(T x) {}
}

class _B<T> = A<T> with B<T>;

mixin B<T> on A<T> {
  void remove(Object x) {
    super.remove(x as T);
  }
}

void main() {
}

The code above should be valid, but in both 2.1.0-dev.7.1 and bleeding edge the analyzer gives the following error:

leafp-macbookpro:sdk leafp$ ~/src/dart-repo/sdk/xcodebuild/ReleaseX64/dart-sdk/bin/dartanalyzer ~/tmp/ddctest.dart
Analyzing /Users/leafp/tmp/ddctest.dart...
  error • The super-invoked member 'remove' has the type '(Object) → void', but the concrete member in the class has type '(T) → void' at /Users/leafp/tmp/ddctest.dart:11:25 • mixin_application_concrete_super_invoked_member_type

It looks like the analyzer is requiring that the concrete remove method provided in the super class (A) has the signature of the remove method from B (Object -> void). This is incorrect. As specified, the concrete remove method provided by the super class must have a signature matching that in the superclass constraint from B (that is, the signature from A, i.e. T -> void).

This is causing a spurious error in converting charts_flutter. I'm looking for a workaround.

cc @keertip @lrhn @devoncarew

[bwilkerson]

@scheglov

[scheglov]

https://dart-review.googlesource.com/c/sdk/+/81204

[leafpetersen]

thanks!

[leafpetersen]

FYI, I think I was able to work around the charts_flutter issue, so probably not blocking.