Constant constructor in a class with a mixin

[mkustermann]

$ cat test.dart
class A {
  const A();
}

class MyMixin {}

class B extends A with MyMixin {
  const B();
}

main() {
  var b = const B();
}

$ dartanalyzer test.dart
Analyzing test.dart...
No issues found

$ dart test.dart
'file:///usr/local/google/home/kustermann/appengine/dart-app-engine/datastore-python-compatibility/test.dart': error: line 9 pos 12: implicit call to non-const super constructor
  const B();
           ^

$ dart2js test.dart --out=/tmp/foo.js
test.dart:9:3:
Error: 'const' constructor cannot call a non-const constructor.
  const B();
  ^^^^^^^^^^
Error: Compilation failed.

[kasperl]

This is related to issue #9745.

[kasperl]

This is related to issue #9745.

[peter-ahe-google]

This may be related to issue #9745, but the analyzer is wrong. MyMixin doesn't have a const constructor, so even after fixing issue #9745, this particular test should fail.

[lrhn]

Actually, if issue #9745 was fixed as requested, the forwarding constructor would be const, and this code would work.
That fix won't happen, so the analyzer is definitely wrong - the superclass of B (A with Mixin) has no const constructor.

[bwilkerson]

Added this to the 1.5 milestone.
Removed Priority-Unassigned label.
Added Priority-Medium, Area-Analyzer labels.

[scheglov]

Set owner to @scheglov.
Added Accepted label.

[scheglov]

https://codereview.chromium.org/272803002

---

Added Started label.
Changed the title to: "Constant constructor in a class with a mixin".

[scheglov]

https://code.google.com/p/dart/source/detail?r=35953

---

Added Fixed label.

[clayberg]

Removed this from the 1.5 milestone.
Added this to the 1.4 milestone.