Analyzer/CFE inconsistency on super calls to abstract methods.

[leafpetersen]

Consider this code:

abstract class Foo {
  String get attribute;
}

abstract class Bar implements Foo {
}

class Baz extends Bar {
  String get attribute => super.attribute;
}

void main() {
  new Baz();
}

When run with the CFE, this produces the following:

tmp/ddctest.dart:14:33: Error: Superclass has no getter named 'attribute'.
  String get attribute => super.attribute;
                                ^^^^^^^^^

When run through the analyzer, it produces the following:

  hint • The getter 'attribute' is always abstract in the supertype at tmp/ddctest.dart:14:33 • abstract_super_member_reference
1 hint found.

I believe that this should be an error on all platforms.

cc @lrhn do you agree that this is an error or am I missing something?

cc @kmillikin, @bwilkerson

[leafpetersen]

cc @keertip

[rich-j]

Is this issue related to #33420?

[lrhn]

Agree that it's an error in Dart 2.
All super-invocations must target specific actual methods and call them in a valid way.

[leafpetersen]

Ok, moving this over to an analyzer bug.

[leafpetersen]

File a spec issue to ensure the text reflects this: #33963 .

[scheglov]

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