blob: eb58e627e3611c2cdec158c5c5f9fd9bee9de4e3 [file]
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/sealed_class/mixin_with/main.dart:7:7: Error: Sealed mixin 'Sealed' can't be mixed in outside of its library.
// class Class1 with Sealed {}
// ^
//
import self as self;
import "dart:core" as core;
import "main_lib.dart" as mai;
import "org-dartlang-testcase:///main_lib.dart";
abstract class _Class1&Object&Sealed = core::Object with mai::Sealed /*isAnonymousMixin,hasConstConstructor*/ {
const synthetic constructor •() self::_Class1&Object&Sealed
: super core::Object::•()
;
}
class Class1 extends self::_Class1&Object&Sealed {
synthetic constructor •() self::Class1
;
}
library /*isNonNullableByDefault*/;
import self as mai;
import "dart:core" as core;
abstract sealed class Sealed extends core::Object /*isMixinDeclaration*/ {
}