// Copyright (c) 2014, 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.
// SharedOptions=-Da=true -Db=false -Dc=3 -Dd=STRING

import "package:expect/expect.dart";

class Foo {}

const
    bool   /// 01: ok
    int    /// 02: static type warning, checked mode compile-time error
    String /// 03: static type warning, checked mode compile-time error
    Foo    /// 04: static type warning, checked mode compile-time error
    a = const bool.fromEnvironment('a');

const
    bool   /// 05: ok
    int    /// 06: static type warning, checked mode compile-time error
    String /// 07: static type warning, checked mode compile-time error
    Foo    /// 08: static type warning, checked mode compile-time error
    b = const bool.fromEnvironment('b');

const
    bool   /// 09: static type warning, checked mode compile-time error
    int    /// 10: ok
    String /// 11: static type warning, checked mode compile-time error
    Foo    /// 12: static type warning, checked mode compile-time error
    c = const int.fromEnvironment('c');

const
    bool   /// 13: static type warning, checked mode compile-time error
    int    /// 14: static type warning, checked mode compile-time error
    String /// 15: ok
    Foo    /// 16: static type warning, checked mode compile-time error
    d = const String.fromEnvironment('d');

main() {
  Expect.equals(a, true);
  Expect.equals(b, false);
  Expect.equals(c, 3);
  Expect.equals(d, 'STRING');
}