blob: 57dddcd2f454e2a35ee9e647bbe331bee101fa16 [file] [log] [blame]
// 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>);
}