blob: 8bff28edae617a1741d1894628299d0db8bc0662 [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.
import 'package:expect/expect.dart';
class A {}
class B extends A {}
class Base<S> {}
class Mixin<T> {
void f(T arg) {}
abstract class Interface {
void f(covariant A arg);
class C<S> extends Base<S> with Mixin<B> implements Interface {}
main() {
Interface i = new C<String>();
i.f(new B());
Expect.throwsTypeError(() {
i.f(new A());