// 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.

abstract class A<T> {}

class B {}

mixin M<T> on A<T> {}

// No matching class from which to infer the type parameter of M
class C extends Object with M {} //# 01: compile-time error

class C = Object with M; //# 02: compile-time error

// Satisfying the constraint with an "implements" clause is not sufficient
class C extends Object with M implements A<B> {} //# 03: compile-time error

class C = Object with M implements A<B>; //# 04: compile-time error

// Mixin works when used correctly.
class D = A<B> with M<B>;

main() {}