blob: df6c86227c9f12962cb029fa98595d32477bc96e [file] [log] [blame]
// Copyright (c) 2017, 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 {}
abstract class B<T> {
// x will be marked genericCovariantInterface, since x's type is covariant in
// the type parameter T.
void set s2(T x);
// x will be marked genericCovariantInterface, since x's type is covariant in
// the type parameter T.
void set s3(T x);
void set s4(Object x);
void set s5(Object x) {
s4 = x;
}
}
class C extends B<A> {
A s1;
// s2 will be marked genericCovariantImpl, since it might be called via
// e.g. B<Object>.
A s2;
// s3 will be marked genericCovariantImpl, since it might be called via
// e.g. B<Object>.
covariant A s3;
covariant A s4;
}
main() {
// Dynamic method calls should always have their arguments type checked.
dynamic d = new C();
Expect.throwsTypeError(() => d.s1 = new Object()); //# 01: ok
// Interface calls should have any arguments marked "genericCovariantImpl"
// type checked provided that the corresponding argument on the interface
// target is marked "genericCovariantInterface".
B<Object> b = new C();
Expect.throwsTypeError(() => b.s2 = new Object()); //# 02: ok
// Interface calls should have any arguments marked "covariant" type checked,
// regardless of whether the corresponding argument on the interface target is
// marked "genericCovariantInterface".
Expect.throwsTypeError(() => b.s3 = new Object()); //# 03: ok
Expect.throwsTypeError(() => b.s4 = new Object()); //# 04: ok
// This calls should have any arguments marked "covariant" type checked.
Expect.throwsTypeError(() => b.s5 = new Object()); //# 05: ok
}