blob: 05fad49862aed7566d8daa17de19b712b0a8bbf9 [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// 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.
import 'package:expect/expect.dart';
class X {
call() => 42;
}
class XX extends X {
XX.named();
}
class Y {
call(int x) => 87 + x;
static int staticMethod(int x) => x + 1;
}
class Z<T> {
final T value;
Z(this.value);
T call() => value;
static int staticMethod(int x) => x + 1;
}
typedef F(int x);
typedef G(String y);
typedef H();
typedef T I<T>();
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
Expect.equals(f(), 42);
Expect.equals(g(100), 187);
var z = new Z<int>(123);
Expect.equals(z(), 123);
Expect.equals((z as dynamic)(), 123);
Expect.equals(Y.staticMethod(6), 7);
Expect.equals(Z.staticMethod(6), 7);
var xx = new XX.named();
Expect.equals(xx(), 42);
H xx2 = new XX.named();
Expect.equals(xx2(), 42);
Expect.throwsTypeError(() {
F f2 = x as dynamic;
});
Expect.throwsTypeError(() {
G g1 = y as dynamic;
});
}