blob: 9afa29c721a785806e9784cc253f2742635154d4 [file] [log] [blame]
// Copyright (c) 2016, 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.
// SharedOptions=--supermixin
// Validate the following test from section 12 ("Mixins") of the spec:
// "Let M_A be a mixin derived from a class M with direct superclass
// S_static.
// Let A be an application of M_A. It is a static warning if the
// superclass of A is not a subtype of S_static."
class B {}
class C {}
class D {}
class E extends B with C implements D {}
class F extends E {}
class A = E with M;
class M
extends B //# 01: ok
extends C //# 02: compile-time error
extends D //# 03: ok
extends E //# 04: ok
extends F //# 05: compile-time error
main() {
new A();