// Copyright (c) 2019, 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.

/// @assertion To infer the type of element:
/// ...
/// If element is a mapEntry ek: ev:
/// If P is ? then the inferred key type of element is the inferred type of ek in
/// context ? and the inferred value type of element is the inferred type of ev
/// in context ?.
///
/// @description Checks that if P is ? then the inferred key type of element is
/// the inferred type of ek in context ? and the inferred value type of element
/// is the inferred type of ev in context ?.
/// @author sgrekhov@unipro.ru


import "../../Utils/expect.dart";

void foo<K extends num, V extends num>(Map<K, V> m) {
  Expect.isTrue(m is Map<double, int>);
}

main() {
  foo<double, int>({1: 1});
  foo({3 + 3.14: 1 + 1, 2.0: 1 + 1});
}