tests/language_strong/function_subtype3_test.dart

// Copyright (c) 2015, 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';

class FunctionLike<T> {
  T call(T arg) {
    return arg;
  }
}

class Foo<T> {
  testString() => new FunctionLike<String>() is T;
  testInt() => new FunctionLike<int>() is T;
}

typedef String ReturnString(Object arg);
typedef int ReturnInt(Object arg);

main() {
  var stringFoo = new Foo<ReturnString>();
  var intFoo = new Foo<ReturnInt>();

  Expect.isTrue(stringFoo.testString());
  Expect.isFalse(stringFoo.testInt());

  Expect.isFalse(intFoo.testString());
  Expect.isTrue(intFoo.testInt());
}