// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// Verifies that inferred type of a final field takes constant objects into
// account. This is a regression test for
// https://github.com/flutter/flutter/issues/22131.

// VMOptions=--no_background_compilation --optimization_counter_threshold=10

import "package:expect/expect.dart";

class X {
  final Map<int, String> data;
  const X(this.data);
}

const f = X({1: "ok-f"});
final g = X({1: "ok-g"});

void doTest() {
  Expect.equals("ok-f", f.data[1]);
  Expect.equals("ok-g", g.data[1]);
}

void main() {
  for (int i = 0; i < 20; i++) {
    doTest();
  }
}