// Copyright (c) 2012, 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.

import "package:expect/expect.dart";

// Make sure we can assert(const Foo() != null) in const initializers.
class Color {
  const Color(this.value);
  final int value;
}

class ColorHaver {
  const ColorHaver({this.color = const Color(0xFF000000)})
      : assert(color != null);
  final Color color;
}

const c = const ColorHaver(color: const Color(0xFF00FF00));

enum Enum {
  a,
  b,
}

class EnumHaver {
  const EnumHaver({this.myEnum: Enum.a}) : assert(myEnum != null);
  final Enum myEnum;
}

const e = const EnumHaver(myEnum: Enum.b);

main() {
  Expect.equals(c.value, 0xFF00FF00);
  Expect.equals(e.myEnum, Enum.b);
}