blob: d0073b238c902fca0814ec98ea1e066f545d3829 [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.
// 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() {}