blob: 470c52e4cfb748d6c79b49ed1a74f1d6b8c556c8 [file] [log] [blame]
// Copyright (c) 2020, 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.
// Test for tearing off a method for which a forwarding super stub has been
// inserted.
import 'package:expect/expect.dart';
class Super<T> {
void method(T t) {}
class Mixin {
void method(int t) {}
// A forwarding super stub is inserted:
// void method(/*generic-covariant-impl*/ int t) => super.method(t);
class Class = Super<int> with Mixin;
class Subclass extends Class {
void test() {
// Test that we can tear off the method.
void Function(int) f = super.method;
main() {
Super<Object> s = new Subclass()..test();
// Test that the covariance check is performed.
Expect.throws(() => s.method(''));