library;
//
// Problems in library:
//
// pkg/front_end/testcases/general_nnbd_opt_out/sdk_diagnostic.dart:7:7: Error: The non-abstract class 'C' is missing implementations for these members:
//  - Iterable.iterator
// 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 extends Iterable<Object> {
//       ^
// sdk/lib/core/iterable.dart:158:19: Context: 'Iterable.iterator' is defined here.
//   Iterator<E> get iterator;
//                   ^^^^^^^^
//
// pkg/front_end/testcases/general_nnbd_opt_out/sdk_diagnostic.dart:14:8: Error: Too few positional arguments: 1 required, 0 given.
//   print(incorrectArgument: "fisk");
//        ^
// sdk/lib/core/print.dart:8:6: Context: Found this candidate, but the arguments don't match.
// void print(Object? object) {
//      ^^^^^
//
import self as self;
import "dart:core" as core;

class C extends core::Iterable<core::Object*> {
  synthetic constructor •() → self::C*
    : super core::Iterable::•()
    ;
  abstract member-signature get /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ iterator() → core::Iterator<core::Object*>*; -> core::Iterable::iterator
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ cast<R extends core::Object* = dynamic>() → core::Iterable<self::C::cast::R*>*; -> core::Iterable::cast
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ followedBy(generic-covariant-impl core::Iterable<core::Object*>* other) → core::Iterable<core::Object*>*; -> core::Iterable::followedBy
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ map<T extends core::Object* = dynamic>((core::Object*) →* self::C::map::T* f) → core::Iterable<self::C::map::T*>*; -> core::Iterable::map
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ where((core::Object*) →* core::bool* test) → core::Iterable<core::Object*>*; -> core::Iterable::where
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ whereType<T extends core::Object* = dynamic>() → core::Iterable<self::C::whereType::T*>*; -> core::Iterable::whereType
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ expand<T extends core::Object* = dynamic>((core::Object*) →* core::Iterable<self::C::expand::T*>* f) → core::Iterable<self::C::expand::T*>*; -> core::Iterable::expand
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ contains(core::Object* element) → core::bool*; -> core::Iterable::contains
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ forEach((core::Object*) →* void f) → void; -> core::Iterable::forEach
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ reduce(generic-covariant-impl (core::Object*, core::Object*) →* core::Object* combine) → core::Object*; -> core::Iterable::reduce
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ fold<T extends core::Object* = dynamic>(self::C::fold::T* initialValue, (self::C::fold::T*, core::Object*) →* self::C::fold::T* combine) → self::C::fold::T*; -> core::Iterable::fold
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ every((core::Object*) →* core::bool* test) → core::bool*; -> core::Iterable::every
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ join([core::String* separator = #C1]) → core::String*; -> core::Iterable::join
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ any((core::Object*) →* core::bool* test) → core::bool*; -> core::Iterable::any
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ toList({core::bool* growable = #C2}) → core::List<core::Object*>*; -> core::Iterable::toList
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ toSet() → core::Set<core::Object*>*; -> core::Iterable::toSet
  abstract member-signature get /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ length() → core::int*; -> core::Iterable::length
  abstract member-signature get /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ isEmpty() → core::bool*; -> core::Iterable::isEmpty
  abstract member-signature get /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ isNotEmpty() → core::bool*; -> core::Iterable::isNotEmpty
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ take(core::int* count) → core::Iterable<core::Object*>*; -> core::Iterable::take
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ takeWhile((core::Object*) →* core::bool* test) → core::Iterable<core::Object*>*; -> core::Iterable::takeWhile
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ skip(core::int* count) → core::Iterable<core::Object*>*; -> core::Iterable::skip
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ skipWhile((core::Object*) →* core::bool* test) → core::Iterable<core::Object*>*; -> core::Iterable::skipWhile
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ firstWhere((core::Object*) →* core::bool* test, {generic-covariant-impl () →* core::Object* orElse = #C3}) → core::Object*; -> core::Iterable::firstWhere
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ lastWhere((core::Object*) →* core::bool* test, {generic-covariant-impl () →* core::Object* orElse = #C3}) → core::Object*; -> core::Iterable::lastWhere
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ singleWhere((core::Object*) →* core::bool* test, {generic-covariant-impl () →* core::Object* orElse = #C3}) → core::Object*; -> core::Iterable::singleWhere
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ elementAt(core::int* index) → core::Object*; -> core::Iterable::elementAt
  abstract member-signature method /* from org-dartlang-sdk:///sdk/lib/core/iterable.dart */ toString() → core::String*; -> core::Iterable::toString
  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 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 */ hashCode() → core::int*; -> core::Object::hashCode
  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
}
static method test() → dynamic {
  invalid-expression "pkg/front_end/testcases/general_nnbd_opt_out/sdk_diagnostic.dart:14:8: Error: Too few positional arguments: 1 required, 0 given.
  print(incorrectArgument: \"fisk\");
       ^";
}
static method main() → dynamic {}

constants  {
  #C1 = ""
  #C2 = true
  #C3 = null
}