// 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 If a generic type is used but type arguments are not provided,
/// then the type arguments default to the unknown type.
/// @description Indirectly verifies the assertion: checks that various unrelated
/// types are subtypes of an omitted type argument.
/// @author iefremov
/// @reviewer rodionov
/// @note this test would also pass if such type arguments defaulted to Object
/// type. Object seems to be indistinguishable from dynamic as far as subtype
/// testing is concerned.

import "../../../Utils/expect.dart";

class DynamicChecker<S, T> {
  DynamicChecker() {
    int func(int x) => 42;
    var foo;

    Expect.isTrue(foo is S);
    Expect.isTrue(new Object() is S);
    Expect.isTrue(1 is S);
    Expect.isTrue(() {} is S);
    Expect.isTrue(func is S);

    Expect.isTrue(foo is T);
    Expect.isTrue(new Object() is T);
    Expect.isTrue(1 is T);
    Expect.isTrue(() {} is T);
    Expect.isTrue(func is T);
  }
}

main() {
  new DynamicChecker();
}