// Copyright (c) 2014, 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 A {
  final call = null;
}

class B {
  get call => null;
}

class C {
  set call(x) {}
}

typedef int F(String str);

main() {
  A a = new A();
  B b = new B();
  C c = new C();

  final
  Function  /// 00: static type warning, dynamic type error
  a2 = a;

  final
  F  /// 01: static type warning, dynamic type error
  a3 = a;

  final
  Function  /// 02: static type warning, dynamic type error
  b2 = b;

  final
  F  /// 03: static type warning, dynamic type error
  b3 = b;

  final
  Function  /// 04: static type warning, dynamic type error
  c2 = c;

  final
  F  /// 05: static type warning, dynamic type error
  c3 = c;
}