// 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 Next, q is executed with this bound to i, the type parameters
/// (if any) of R bound to the actual type arguments V1, ..., Vm and the formal
/// parameter bindings that resulted from the evaluation of the argument list.
/// The result of the evaluation of e is i.
/// @description Checks that the result of a new expression is i (the freshly
/// allocated instance).
/// @author msyabro

import '../../../../Utils/expect.dart';

class A {}

class B {
  B(p1, p2) {}
}

class C {
  C(p1, [p2]) {}
}

class D {
  D.name() {}
}

main() {
  Expect.isTrue(new A() is A);
  Expect.isTrue(new B(1, 2) is B);
  Expect.isTrue(new C(null, null) is C);
  Expect.isTrue(new D.name() is D);
  Expect.runtimeIsType<A>(new A());
  Expect.runtimeIsType<B>(new B(1, 2));
  Expect.runtimeIsType<C>(new C(null, null));
  Expect.runtimeIsType<D>(new D.name());
}