Language/Expressions/Maps/runtime_map_t04.dart

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