CFE allows two identical record literals in a set

[chloestefantsova]

The following program is expected to provoke in a compile-time error.

class A {
  const A();
}

test() => const <Record>{
  const (1, 2, A()),
  const (1, 2, A())
};

Currently it's accepted by the CFE, and the constant entry contains two references to the same constant #C4.

library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

class A extends core::Object /*hasConstConstructor*/  {
  const constructor •() → self::A
    : super core::Object::•()
    ;
}
static method test() → dynamic
  return #C5;
constants  {
  #C1 = 1
  #C2 = 2
  #C3 = self::A {}
  #C4 = (#C1, #C2, #C3)
  #C5 = <core::Record*>{#C4, #C4}
}