// Copyright (c) 2019, 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';

abstract class A<T> {
  foo(T x);
}

abstract class B<T> implements A<T> {}

class C {
  foo(num x) {
    if (x is! num) {
      throw "Soundness issue: expected x to be num, got ${x.runtimeType}.";
    }
  }
}

class D<T extends num> extends C with B<T> {}

class E<T extends num> = C with B<T>;

test(B<dynamic> b) {
  b.foo("bar");
}

main() {
  Expect.throws<TypeError>(() => test(new D<int>()));
  Expect.throws<TypeError>(() => test(new E<int>()));
}