// 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.

class X {
  call() => 42;
}

class Y {
  call(int x) => 87;
}

typedef F(int x);
typedef G(String y);

main() {
  X x = new X();
  Function f = x;  // Should pass checked mode test
  Y y = new Y();
  Function g = y;  // Should pass checked mode test
  F f0 = y;  // Should pass checked mode test
  F f1 = x;  /// 00: dynamic type error, static type warning
  G g0 = y;  /// 01: dynamic type error, static type warning
}