blob: 6afebe0db859ce7cd64bb9cb0f1c2748045bdca8 [file] [log] [blame]
// 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.
// This class has no problems.
class M {
foo() {}
}
// This class has no problems.
class N = Object with M;
// This class has no problems.
class C extends Object with N {}
// This class has no problems.
abstract class M2 implements M {
bar() {}
}
// This class has an error as it lacks an implementation of M.foo.
class N2 = Object with M2;
// This class lacks an implementation of M.foo, but it is abstract so there's
// no error.
abstract class N3 = Object with M2;
// This class has an error as it lacks an implementation of M.foo.
class C2 extends Object with M2 {}
// This class lacks an implementation of M.foo, but it is abstract so there's
// no error.
abstract class C3 extends Object with M2 {}
main() {}