Default class without constructor does not cause a compile-time error

[dgrove]

(clone of issue #985)

In the section 7.5 the specification says: "If no constructor is specified for a class C, it implicitly has a default constructor C() : super() {}, unless it is class Object."
In the section 8.3: "A constructor kI of I corresponds to a constructor kF of its factory class F if either F does not implement I and kI and kF have the same name, OR ... It is a compile-time error if an interface I declares a constructor kI and there is no constructor kF in the factory class F such that kI corresponds to kF ."

The test is following:
class F {
}

interface I default F {
  I();
}

main() {
  new I();
}

According to the specification, there is implicit constructor F():super() {} in the class F. But this is not the constructor to which constructor I() corresponds. So, a compile-time error have to occur.

this is in frog r2810

[jmesserly]

Hmmm. I thought we require "class F" to "implements I" in the new factory spec, if using "default F"? (Or maybe that's only required when it has generic parameters?)

---

Removed Priority-Medium label.
Added Priority-Low label.

[anders-sandholm]

Removed Area-Frog label.
Added Area-Dart2JS, FromAreaFrog labels.

[kasperl]

If keeping these bugs open doesn't add any value, I'd be happy to just close them and open new ones once we start hacking on the passing negative tests for dart2js.

---

Set owner to @peter-ahe-google.
Removed FromAreaFrog label.
Added Accepted label.

[peter-ahe-google]

Added this to the M1 milestone.
Removed Priority-Low label.
Added Priority-High label.

[peter-ahe-google]

$ ./xcodebuild/ReleaseIA32/dart2js fisk.dart
fisk.dart:5:3: Error: cannot find constructor I in F
  I();
  ^^^^^
Error: Compilation failed.

---

Added Invalid label.