library;
//
// Problems in library:
//
// pkg/front_end/testcases/general/mix_in_string.dart:7:7: Error: 'String' is restricted and can't be extended or implemented.
// class C = A with String;
//       ^
//
// pkg/front_end/testcases/general/mix_in_string.dart:7:7: Error: The non-abstract class 'C' is missing implementations for these members:
//  - Pattern.allMatches
//  - Pattern.matchAsPrefix
//  - String.*
//  - String.+
//  - String.[]
//  - String.codeUnitAt
//  - String.codeUnits
//  - String.compareTo
//  - String.contains
//  - String.endsWith
//  - String.indexOf
//  - String.isEmpty
//  - String.isNotEmpty
//  - String.lastIndexOf
//  - String.length
//  - String.padLeft
//  - String.padRight
//  - String.replaceAll
//  - String.replaceAllMapped
//  - String.replaceFirst
//  - String.replaceFirstMapped
//  - String.replaceRange
//  - String.runes
//  - String.split
//  - String.splitMapJoin
//  - String.startsWith
//  - String.substring
//  - String.toLowerCase
//  - String.toUpperCase
//  - String.trim
//  - String.trimLeft
//  - String.trimRight
// Try to either
//  - provide an implementation,
//  - inherit an implementation from a superclass or mixin,
//  - mark the class as abstract, or
//  - provide a 'noSuchMethod' implementation.
//
// class C = A with String;
//       ^
// sdk/lib/core/pattern.dart:28:19: Context: 'Pattern.allMatches' is defined here.
//   Iterable<Match> allMatches(String string, [int start = 0]);
//                   ^^^^^^^^^^
// sdk/lib/core/pattern.dart:39:10: Context: 'Pattern.matchAsPrefix' is defined here.
//   Match? matchAsPrefix(String string, [int start = 0]);
//          ^^^^^^^^^^^^^
// sdk/lib/core/string.dart:399:19: Context: 'String.*' is defined here.
//   String operator *(int times);
//                   ^
// sdk/lib/core/string.dart:325:19: Context: 'String.+' is defined here.
//   String operator +(String other);
//                   ^
// sdk/lib/core/string.dart:181:19: Context: 'String.[]' is defined here.
//   String operator [](int index);
//                   ^^
// sdk/lib/core/string.dart:186:7: Context: 'String.codeUnitAt' is defined here.
//   int codeUnitAt(int index);
//       ^^^^^^^^^^
// sdk/lib/core/string.dart:601:17: Context: 'String.codeUnits' is defined here.
//   List<int> get codeUnits;
//                 ^^^^^^^^^
// sdk/lib/core/string.dart:244:7: Context: 'String.compareTo' is defined here.
//   int compareTo(String other);
//       ^^^^^^^^^
// sdk/lib/core/string.dart:452:8: Context: 'String.contains' is defined here.
//   bool contains(Pattern other, [int startIndex = 0]);
//        ^^^^^^^^
// sdk/lib/core/string.dart:251:8: Context: 'String.endsWith' is defined here.
//   bool endsWith(String other);
//        ^^^^^^^^
// sdk/lib/core/string.dart:291:7: Context: 'String.indexOf' is defined here.
//   int indexOf(Pattern pattern, [int start = 0]);
//       ^^^^^^^
// sdk/lib/core/string.dart:313:12: Context: 'String.isEmpty' is defined here.
//   bool get isEmpty;
//            ^^^^^^^
// sdk/lib/core/string.dart:318:12: Context: 'String.isNotEmpty' is defined here.
//   bool get isNotEmpty;
//            ^^^^^^^^^^
// sdk/lib/core/string.dart:308:7: Context: 'String.lastIndexOf' is defined here.
//   int lastIndexOf(Pattern pattern, [int? start]);
//       ^^^^^^^^^^^
// sdk/lib/core/string.dart:202:11: Context: 'String.length' is defined here.
//   int get length;
//           ^^^^^^
// sdk/lib/core/string.dart:417:10: Context: 'String.padLeft' is defined here.
//   String padLeft(int width, [String padding = ' ']);
//          ^^^^^^^
// sdk/lib/core/string.dart:435:10: Context: 'String.padRight' is defined here.
//   String padRight(int width, [String padding = ' ']);
//          ^^^^^^^^
// sdk/lib/core/string.dart:489:10: Context: 'String.replaceAll' is defined here.
//   String replaceAll(Pattern from, String replace);
//          ^^^^^^^^^^
// sdk/lib/core/string.dart:514:10: Context: 'String.replaceAllMapped' is defined here.
//   String replaceAllMapped(Pattern from, String Function(Match match) replace);
//          ^^^^^^^^^^^^^^^^
// sdk/lib/core/string.dart:461:10: Context: 'String.replaceFirst' is defined here.
//   String replaceFirst(Pattern from, String to, [int startIndex = 0]);
//          ^^^^^^^^^^^^
// sdk/lib/core/string.dart:473:10: Context: 'String.replaceFirstMapped' is defined here.
//   String replaceFirstMapped(Pattern from, String replace(Match match),
//          ^^^^^^^^^^^^^^^^^^
// sdk/lib/core/string.dart:527:10: Context: 'String.replaceRange' is defined here.
//   String replaceRange(int start, int? end, String replacement);
//          ^^^^^^^^^^^^
// sdk/lib/core/string.dart:610:13: Context: 'String.runes' is defined here.
//   Runes get runes;
//             ^^^^^
// sdk/lib/core/string.dart:575:16: Context: 'String.split' is defined here.
//   List<String> split(Pattern pattern);
//                ^^^^^
// sdk/lib/core/string.dart:595:10: Context: 'String.splitMapJoin' is defined here.
//   String splitMapJoin(Pattern pattern,
//          ^^^^^^^^^^^^
// sdk/lib/core/string.dart:275:8: Context: 'String.startsWith' is defined here.
//   bool startsWith(Pattern pattern, [int index = 0]);
//        ^^^^^^^^^^
// sdk/lib/core/string.dart:335:10: Context: 'String.substring' is defined here.
//   String substring(int startIndex, [int? endIndex]);
//          ^^^^^^^^^
// sdk/lib/core/string.dart:623:10: Context: 'String.toLowerCase' is defined here.
//   String toLowerCase();
//          ^^^^^^^^^^^
// sdk/lib/core/string.dart:636:10: Context: 'String.toUpperCase' is defined here.
//   String toUpperCase();
//          ^^^^^^^^^^^
// sdk/lib/core/string.dart:374:10: Context: 'String.trim' is defined here.
//   String trim();
//          ^^^^
// sdk/lib/core/string.dart:381:10: Context: 'String.trimLeft' is defined here.
//   String trimLeft();
//          ^^^^^^^^
// sdk/lib/core/string.dart:388:10: Context: 'String.trimRight' is defined here.
//   String trimRight();
//          ^^^^^^^^^
//
import self as self;
import "dart:core" as core;

class A extends core::Object {
  synthetic constructor •() → self::A*
    ;
  abstract member-signature get /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ hashCode() → core::int*; -> core::Object::hashCode
  abstract member-signature operator /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ ==(dynamic other) → core::bool*; -> core::Object::==
  abstract member-signature get /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ _identityHashCode() → core::int*; -> core::Object::_identityHashCode
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) → core::bool*; -> core::Object::_instanceOf
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ _simpleInstanceOf(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOf
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ _simpleInstanceOfTrue(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfTrue
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ _simpleInstanceOfFalse(dynamic type) → core::bool*; -> core::Object::_simpleInstanceOfFalse
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ toString() → core::String*; -> core::Object::toString
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ noSuchMethod(core::Invocation* invocation) → dynamic; -> core::Object::noSuchMethod
  abstract member-signature get /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/object_patch.dart */ runtimeType() → core::Type*; -> core::Object::runtimeType
}
class C = self::A with core::String {
  synthetic constructor •() → self::C*
    : super self::A::•()
    ;
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/pattern.dart */ allMatches(core::String* string, [core::int* start]) → core::Iterable<core::Match*>*; -> core::Pattern::allMatches
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/pattern.dart */ matchAsPrefix(core::String* string, [core::int* start]) → core::Match*; -> core::Pattern::matchAsPrefix
  no-such-method-forwarder get /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart */ _isOneByte() → core::bool*
    return this.{self::A::noSuchMethod}(new core::_InvocationMirror::_withType(#_isOneByte, 1, const <core::Type*>[], const <dynamic>[], core::Map::unmodifiable<core::Symbol*, dynamic>(const <core::Symbol*, dynamic>{}))) as{TypeError,ForDynamic} core::bool*;
  no-such-method-forwarder method /* from org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart */ _substringUnchecked(core::int* startIndex, core::int* endIndex) → core::String*
    return this.{self::A::noSuchMethod}(new core::_InvocationMirror::_withType(#_substringUnchecked, 0, const <core::Type*>[], core::List::unmodifiable<dynamic>(<dynamic>[startIndex, endIndex]), core::Map::unmodifiable<core::Symbol*, dynamic>(const <core::Symbol*, dynamic>{}))) as{TypeError,ForDynamic} core::String*;
}
static method main() → dynamic
  ;


Extra constant evaluation status:
Evaluated: SymbolLiteral @ org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart:52:12 -> SymbolConstant(#_isOneByte)
Evaluated: ListLiteral @ org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart:52:12 -> ListConstant(const <Type*>[])
Evaluated: ListLiteral @ org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart:52:12 -> ListConstant(const <dynamic>[])
Evaluated: MapLiteral @ org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart:52:12 -> InstanceConstant(const _ImmutableMap<Symbol*, dynamic>{_ImmutableMap._kvPairs: const <dynamic>[]})
Evaluated: SymbolLiteral @ org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart:53:10 -> SymbolConstant(#_substringUnchecked)
Evaluated: ListLiteral @ org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart:53:10 -> ListConstant(const <Type*>[])
Evaluated: MapLiteral @ org-dartlang-sdk:///sdk/lib/_internal/vm/lib/string_patch.dart:53:10 -> InstanceConstant(const _ImmutableMap<Symbol*, dynamic>{_ImmutableMap._kvPairs: const <dynamic>[]})
Extra constant evaluation: evaluated: 21, effectively constant: 7