blob: 7b705e2a3fd04391798cfd8e86406ea6285160fc [file] [log] [blame]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/sealed_class/sealed_class_as_mixin.dart:6:7: Error: Class 'SealedClass' can't be used as a mixin.
// class A with SealedClass {}
// ^
//
// pkg/front_end/testcases/sealed_class/sealed_class_as_mixin.dart:9:7: Error: Class 'SealedClass' can't be used as a mixin.
// class B with SealedClass, SealedMixin {}
// ^
//
// pkg/front_end/testcases/sealed_class/sealed_class_as_mixin.dart:12:7: Error: Class 'Class' can't be used as a mixin.
// class C with Class, SealedClass {}
// ^
//
// pkg/front_end/testcases/sealed_class/sealed_class_as_mixin.dart:12:7: Error: Class 'SealedClass' can't be used as a mixin.
// class C with Class, SealedClass {}
// ^
//
// pkg/front_end/testcases/sealed_class/sealed_class_as_mixin.dart:13:7: Error: Class 'Class' can't be used as a mixin.
// class D with Class, SealedMixin {}
// ^
//
// pkg/front_end/testcases/sealed_class/sealed_class_as_mixin.dart:16:7: Error: Class 'SealedClass' can't be used as a mixin.
// class E with Mixin, SealedClass {}
// ^
//
// pkg/front_end/testcases/sealed_class/sealed_class_as_mixin.dart:20:7: Error: Class 'Class' can't be used as a mixin.
// class G with Class, Mixin {}
// ^
//
import self as self;
import "dart:core" as core;
abstract sealed class SealedClass extends core::Object {
synthetic constructor •() self::SealedClass
: super core::Object::•()
;
}
abstract class _A&Object&SealedClass = core::Object with self::SealedClass /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_A&Object&SealedClass
: super core::Object::•()
;
}
class A extends self::_A&Object&SealedClass {
synthetic constructor •() self::A
: super self::_A&Object&SealedClass::•()
;
}
abstract sealed class SealedMixin extends core::Object /*isMixinDeclaration*/ {
}
abstract class _B&Object&SealedClass = core::Object with self::SealedClass /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_B&Object&SealedClass
: super core::Object::•()
;
}
abstract class _B&Object&SealedClass&SealedMixin = self::_B&Object&SealedClass with self::SealedMixin /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_B&Object&SealedClass&SealedMixin
: super self::_B&Object&SealedClass::•()
;
}
class B extends self::_B&Object&SealedClass&SealedMixin {
synthetic constructor •() self::B
: super self::_B&Object&SealedClass&SealedMixin::•()
;
}
class Class extends core::Object {
synthetic constructor •() self::Class
: super core::Object::•()
;
}
abstract class _C&Object&Class = core::Object with self::Class /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_C&Object&Class
: super core::Object::•()
;
}
abstract class _C&Object&Class&SealedClass = self::_C&Object&Class with self::SealedClass /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_C&Object&Class&SealedClass
: super self::_C&Object&Class::•()
;
}
class C extends self::_C&Object&Class&SealedClass {
synthetic constructor •() self::C
: super self::_C&Object&Class&SealedClass::•()
;
}
abstract class _D&Object&Class = core::Object with self::Class /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_D&Object&Class
: super core::Object::•()
;
}
abstract class _D&Object&Class&SealedMixin = self::_D&Object&Class with self::SealedMixin /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_D&Object&Class&SealedMixin
: super self::_D&Object&Class::•()
;
}
class D extends self::_D&Object&Class&SealedMixin {
synthetic constructor •() self::D
: super self::_D&Object&Class&SealedMixin::•()
;
}
abstract class Mixin extends core::Object /*isMixinDeclaration*/ {
}
abstract class _E&Object&Mixin = core::Object with self::Mixin /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_E&Object&Mixin
: super core::Object::•()
;
}
abstract class _E&Object&Mixin&SealedClass = self::_E&Object&Mixin with self::SealedClass /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_E&Object&Mixin&SealedClass
: super self::_E&Object&Mixin::•()
;
}
class E extends self::_E&Object&Mixin&SealedClass {
synthetic constructor •() self::E
: super self::_E&Object&Mixin&SealedClass::•()
;
}
abstract class _F&Object&Mixin = core::Object with self::Mixin /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_F&Object&Mixin
: super core::Object::•()
;
}
abstract class _F&Object&Mixin&SealedMixin = self::_F&Object&Mixin with self::SealedMixin /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_F&Object&Mixin&SealedMixin
: super self::_F&Object&Mixin::•()
;
}
class F extends self::_F&Object&Mixin&SealedMixin {
synthetic constructor •() self::F
: super self::_F&Object&Mixin&SealedMixin::•()
;
}
abstract class _G&Object&Class = core::Object with self::Class /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_G&Object&Class
: super core::Object::•()
;
}
abstract class _G&Object&Class&Mixin = self::_G&Object&Class with self::Mixin /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_G&Object&Class&Mixin
: super self::_G&Object&Class::•()
;
}
class G extends self::_G&Object&Class&Mixin {
synthetic constructor •() self::G
: super self::_G&Object&Class&Mixin::•()
;
}