Cannot use const ctor on a Class with a generic field - error in checked mode

[kevmoo]

class Foo {
  final List<int> values;

  const Foo(this.values);
}

const _foo = const Foo(const <int>[1,2,3]);

This fails in checked mode because "const <int>[1,2,3]" has a rarified type of "List<Object>", not "List<int>"

[gbracha]

That sounds like a bug. Is it VM or dart2js?

[kevmoo]

The error happened in the VM.

Are you saying the type of the List should be treated as a List<dynamic> instead of a List<Object> in the VM?

[gbracha]

I'm saying that const<int>[1, 2, 3] should have reified type List<int> as you expected when you wrote the code. If you had written const [1, 2, 3] it would be List<dynamic>. Only if you wrote <Object>[1, 2, 3] would it be List<Object>.

Assigning to the VM.

---

Removed Area-Language label.
Added Area-VM label.

[lrhn]

Removed Type-Enhancement label.
Added Type-Defect label.

[mhausner]

The code does not fail on the VM, including checked mode.