blob: 167304ddb4384c6b553e807c018dc43b56d61aad [file] [log] [blame]
// Copyright (c) 2013, 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.
class S { }
class G<T> { }
class M { }
class T = S with M;
typedef T0 = S with M; /// 00: compile-time error
abstract class TA = S with M;
class T1 = final S with M; /// 01: compile-time error
class T2 = var S with M; /// 02: compile-time error
class T3 = const S with M; /// 03: compile-time error
class T4 = static S with M; /// 04: compile-time error
class T5 = external S with M; /// 05: compile-time error
class T6 = G<int> with M;
class T7 = G<Map<String,int>> with M;
class C0 extends abstract S with M { } /// 06: compile-time error
class C1 extends final S with M { } /// 07: compile-time error
class C2 extends var S with M { } /// 08: compile-time error
class C3 extends const S with M { } /// 09: compile-time error
class C4 extends static S with M { } /// 10: compile-time error
class C5 extends external S with M { } /// 11: compile-time error
class C6 extends G<int> with M { }
class C7 extends G<Map<String,int>> with M { }
class D0 extends S with M
implements M /// 12: compile-time error
implements M { }
class D1 extends T { }
class X = S; /// 14: compile-time error
main() {
new T();
new TA(); /// 13: static type warning, runtime error
new T1(); /// 01: continued
new T2(); /// 02: continued
new T3(); /// 03: continued
new T4(); /// 04: continued
new T5(); /// 05: continued
new T6();
new T7();
new C0(); /// 06: continued
new C1(); /// 07: continued
new C2(); /// 08: continued
new C3(); /// 09: continued
new C4(); /// 10: continued
new C5(); /// 11: continued
new C6();
new C7();
new D0(); /// 12: continued
new D1();
new X(); /// 14: continued
}