| // 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}); |
| } |