VM: compile error in checked mode when a constructor's type parameter is not within declared type bound

[DartBot]

This issue was originally filed by [email protected]

---

looks like a duplicate of 905 or 1380

Spec (11 and 11.11.1) says it's only a static warning and a type error in checked mode, but co19 test Language/10_Expressions/11_Instance_Creation_A05_t02 fails with a compile error

class G<T extends num, S extends String> {
  const G();
}

main() {
  checkTypeError(() {
    var o = const G<double, double>();
  });
}

[dgrove]

Added Area-VM, Triaged labels.

[iposva-google]

Set owner to @crelier.
Added Accepted label.

[crelier]

This is not a duplicate of 905 or 1380.

The VM reports a compile-time error in checked mode, which is correct.

There is a co19 issue reported against this test, co19 issue #234.

---

Added AsDesigned label.

[crelier]

Reopening for investigation.

regis@belenos:~/dart1/dart$ out/DebugIA32/dart --checked /usr/local/google/home/regis/dart1/dart/tests/co19/src/Language/11_Expressions/11_Instance_Creation_A05_t02.dart
'file:///usr/local/google/home/regis/dart1/dart/tests/co19/src/Language/11_Expressions/11_Instance_Creation_A05_t02.dart': Error: line 19 pos 24: type argument 'double' does not extend bound 'String' of 'G'

class G<T extends num, S extends String> {
                       ^
'file:///usr/local/google/home/regis/dart1/dart/tests/co19/src/Language/11_Expressions/11_Instance_Creation_A05_t02.dart': Error: line 25 pos 19: type arguments of type 'G<double, double>' are not within bounds
    var o = const G<double, double>();
                  ^

---

Added Accepted label.

[crelier]

Closing again. Reporting a compile-time error is correct, because a constant instance is created.
It is a compile-time error if evaluation of a constant object results in an uncaught exception being thrown.

---

Added AsDesigned label.