// 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>);
  Expect.runtimeIsType<Map<String, int>>(<String, int>{"": 1});
  Expect.runtimeIsType<Map<String, String>>(<String, String>{"": "string"});
  Expect.runtimeIsType<Map<String, bool>>(<String, bool>{"": true});
  Expect.runtimeIsType<Map<String, C>>(<String, C>{"": new C()});
}