blob: 43f38c164d907b615a6ee2a9c641496c43c8b8b3 [file] [log] [blame]
// Copyright (c) 2018, 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
// Regression test: verify super-signatures of super-invoked methods of a
// mixin against the superclass, not signatures in the mixin.
class A<T> {
void remove(T x) {}
}
mixin M<U> on A<U> {
void remove(Object x) {
super.remove(x as U);
}
}
class X<T> = A<T> with M<T>;
main() {}