blob: 64c8cab1df07f32c6b7c651123f8a4949042ad1d [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.
// @dart = 2.9
import "package:expect/expect.dart";
class A {}
class B extends A {}
class C {
void f(B x) {}
abstract class I<T> {
void f(T x);
// D contains a forwarding stub for f which ensures that `x` is type checked.
class D extends C implements I<B> {}
void checkStubTearoff(dynamic tearoff) {
// Since the stub's parameter is covariant, its type should be reified as
// Object.
Expect.isTrue(tearoff is void Function(Object));
// Verify that the appropriate runtime check occurs.
tearoff(new B()); // No error
Expect.throwsTypeError(() {
tearoff(new A());
main() {
// The same forwarding stub should be torn off from D regardless of what
// interface is used to tear it off.
D d = new D();
C c = d;
I i = d;