| /* |
| * Copyright (c) 2011, 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 A runtime map literal <K, V>{k1:e1... kn :en} is evaluated as follows: |
| * - First, the expression ki is evaluated yielding object ui, the ei is evaluated |
| * yielding object oi, for i ∈ 1..n in left to right order, yielding objects |
| * u1; o1 ... un; on. |
| * - A fresh instance m whose class implements the built-in class Map<K, V> is allocated. |
| * The operator []= is invoked on m with first argument ui and second argument oi, i ∈ 1..n. |
| * - The result of the evaluation is m. |
| * @description Checks that the result of a runtime map literal <String, V>{k1:e1... kn :en} |
| * is an object that implements interface Map<String, V>. |
| * @author msyabro |
| * @reviewer rodionov |
| */ |
| import "../../Utils/expect.dart"; |
| |
| class C {} |
| |
| main() { |
| Expect.isTrue(<String, int> {"": 1} is Map<String, int>); |
| Expect.isTrue(<String, String> {"": "string"} is Map<String, String>); |
| Expect.isTrue(<String, bool> {"": true} is Map<String, bool>); |
| Expect.isTrue(<String, C>{"": new C()} is Map<String, C>); |
| } |