pkg/front_end/testcases/instantiate_to_bound/non_simple_many_libs_same_name_cycle.dart.strong.outline.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/instantiate_to_bound/non_simple_many_libs_same_name_cycle.dart:11:7: Error: Generic type 'A' can't be used without type arguments in the bounds of its own type variables. It is referenced indirectly through 'A'.
// Try providing type arguments to 'A' here or to some other raw types in the bounds along the reference chain.
// class A<TypeX extends lib.A> {}
//       ^
// pkg/front_end/testcases/instantiate_to_bound/non_simple_many_libs_same_name_cycle.dart:11:9: Context: Bound of this variable references raw type 'A'.
// class A<TypeX extends lib.A> {}
//         ^^^^^
// pkg/front_end/testcases/instantiate_to_bound/non_simple_many_libs_same_name_cycle_lib.dart:16:9: Context: Bound of this variable references raw type 'A'.
// class A<TypeY extends lib.A> {}
//         ^^^^^
//
// pkg/front_end/testcases/instantiate_to_bound/non_simple_many_libs_same_name_cycle.dart:13:9: Error: The typedef 'C' has a reference to itself.
// typedef C<TypeX extends lib.C> = int;
//         ^
//
import self as self;
import "dart:core" as core;

import "org-dartlang-testcase:///non_simple_many_libs_same_name_cycle_lib.dart" as lib;

typedef C<unrelated TypeX extends invalid-type> = invalid-type;
class A<TypeX extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::A<self::A::TypeX%>
    ;
}
static method main() → dynamic
  ;

library non_simple_many_libs_same_name_cycle_lib;
//
// Problems in library:
//
// pkg/front_end/testcases/instantiate_to_bound/non_simple_many_libs_same_name_cycle_lib.dart:18:9: Error: The typedef 'C' has a reference to itself.
// typedef C<TypeY extends lib.C> = int;
//         ^
//
import self as self2;
import "dart:core" as core;
import "non_simple_many_libs_same_name_cycle.dart" as self;

import "org-dartlang-testcase:///non_simple_many_libs_same_name_cycle.dart" as lib;

typedef C<unrelated TypeY extends invalid-type> = core::int;
class A<TypeY extends self::A<dynamic>> extends core::Object {
  synthetic constructor •() → self2::A<self2::A::TypeY>
    ;
}
static method /* from org-dartlang-sdk:///sdk/lib/_internal/vm_shared/lib/integers_patch.dart */ _#C#fromEnvironment#tearOff<unrelated TypeY extends invalid-type>(core::String name, {has-declared-initializer core::int defaultValue}) → core::int
  return core::int::fromEnvironment(name, defaultValue: defaultValue);