Reproducing incompatible signature bug

broken_mixin.dart

class Built<T extends Built<T, S>, S extends Builder<T, S>> {
  
}

class Builder<T extends Built<T, S>, S extends Builder<T, S>> {
  
}

class StatefulWidget {
  
}

class State<T extends StatefulWidget> {
  
}

mixin BrokenMixin<T extends Built<T, S>, S extends Builder<T, S>, U extends StatefulWidget> on State<U> {
  
  void broken<V extends Built<V, W>, W extends Builder<V, W>>([void Function(T, V) func]) {
    
  }
  
}

class ExampleBuilt extends Built<ExampleBuilt, ExampleBuilder> {
  
}

class ExampleBuilder extends Builder<ExampleBuilt, ExampleBuilder> {
  
}

class ExampleWidget extends StatefulWidget {
  
}

class ExampleWidgetState extends State<ExampleWidget> with BrokenMixin<ExampleBuilt, ExampleBuilder, ExampleWidget> {
  void callBroken() {
    broken<ExampleBuilt, ExampleBuilder>();
  }
}

main() {
  final example = ExampleWidgetState();
  example.callBroken();
}