Improve error message for mismatching parameters in redirecting factory constructor

[Pante]

When given the following invalid code:

class Foo {
  int a;
  int b;

  factory Foo.bar({required int a}) = Bar;

  Foo({required this.a, required this.b});
}

class Bar extends Foo {
  Bar({required super.a, required super.b});
}

Dart currently produces the following error message:

The redirected constructor 'Bar Function({required int a, required int b})' has incompatible parameters with 'Foo Function({required int a})'.

It will be great if the error message highlights which parameters are missing, i.e

The redirected constructor 'Bar Function({required int a, required int b})' has incompatible parameters with 'Foo Function({required int a})'.

The incompatible parameters are ...

The current error message is enough when there are a few parameters. However, when there are several parameters, the error message becomes something similar to:

which is unreadable.