| 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*/ { |
| } |