pkg/front_end/testcases/general/type_variable_in_static_context.dart.weak.outline.expect

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:105:3: Error: Extensions can't declare constructors.
// Try removing the constructor declaration.
//   Extension(T t);
//   ^^^^^^^^^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:107:3: Error: Extensions can't declare constructors.
// Try removing the constructor declaration.
//   factory Extension.fact(T t) => null;
//   ^^^^^^^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:113:5: Error: Extensions can't declare instance fields
// Try removing the field declaration or making it a static field
//   T field1;
//     ^^^^^^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:130:3: Error: Mixins can't declare constructors.
//   Mixin(T t);
//   ^^^^^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:132:3: Error: Mixins can't declare constructors.
//   factory Mixin.fact(T t) => null;
//   ^^^^^^^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:107:11: Error: Expected 0 type arguments.
//   factory Extension.fact(T t) => null;
//           ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:13:31: Error: Type variables can't be used in static members.
//   static T? method0<S extends T>(T arg) {
//                               ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:20:44: Error: Type variables can't be used in static members.
//   static Class<T>? method1<S extends Class<T>>(Class<T> arg) {
//                                            ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:29:57: Error: Type variables can't be used in static members.
//   static Class<Class<T>>? method2<S extends Class<Class<T>>>(Class<Class<T>> arg) {
//                                                         ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:38:36: Error: Type variables can't be used in static members.
//   static A<T>? method3<S extends A<T>>(A<T> arg) {
//                                    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:47:41: Error: Type variables can't be used in static members.
//   static A<A<T>>? method4<S extends A<A<T>>>(A<A<T>> arg) {
//                                         ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:56:36: Error: Type variables can't be used in static members.
//   static B<T>? method5<S extends B<T>>(B<T> arg) {
//                                    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:65:41: Error: Type variables can't be used in static members.
//   static A<B<T>>? method6<S extends A<B<T>>>(A<B<T>> arg) {
//                                         ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:73:34: Error: Type variables can't be used in static members.
//   @Class<void Function<S extends T>()>()
//                                  ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:74:34: Error: Type variables can't be used in static members.
//   static void Function<S extends T>()? method7<U extends void Function<S extends T>()>(void Function<S extends T>() arg) {
//                                  ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:74:82: Error: Type variables can't be used in static members.
//   static void Function<S extends T>()? method7<U extends void Function<S extends T>()>(void Function<S extends T>() arg) {
//                                                                                  ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:74:112: Error: Type variables can't be used in static members.
//   static void Function<S extends T>()? method7<U extends void Function<S extends T>()>(void Function<S extends T>() arg) {
//                                                                                                                ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:116:36: Error: Type variables can't be used in static members.
//   static T? staticMethod<S extends T>(T arg) {
//                                    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:138:36: Error: Type variables can't be used in static members.
//   static T? staticMethod<S extends T>(T arg) {
//                                    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:13:34: Error: Type variables can't be used in static members.
//   static T? method0<S extends T>(T arg) {
//                                  ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:13:10: Error: Type variables can't be used in static members.
//   static T? method0<S extends T>(T arg) {
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:20:54: Error: Type variables can't be used in static members.
//   static Class<T>? method1<S extends Class<T>>(Class<T> arg) {
//                                                      ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:20:16: Error: Type variables can't be used in static members.
//   static Class<T>? method1<S extends Class<T>>(Class<T> arg) {
//                ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:29:74: Error: Type variables can't be used in static members.
//   static Class<Class<T>>? method2<S extends Class<Class<T>>>(Class<Class<T>> arg) {
//                                                                          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:29:22: Error: Type variables can't be used in static members.
//   static Class<Class<T>>? method2<S extends Class<Class<T>>>(Class<Class<T>> arg) {
//                      ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:38:42: Error: Type variables can't be used in static members.
//   static A<T>? method3<S extends A<T>>(A<T> arg) {
//                                          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:38:12: Error: Type variables can't be used in static members.
//   static A<T>? method3<S extends A<T>>(A<T> arg) {
//            ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:47:50: Error: Type variables can't be used in static members.
//   static A<A<T>>? method4<S extends A<A<T>>>(A<A<T>> arg) {
//                                                  ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:47:14: Error: Type variables can't be used in static members.
//   static A<A<T>>? method4<S extends A<A<T>>>(A<A<T>> arg) {
//              ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:56:42: Error: Type variables can't be used in static members.
//   static B<T>? method5<S extends B<T>>(B<T> arg) {
//                                          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:56:12: Error: Type variables can't be used in static members.
//   static B<T>? method5<S extends B<T>>(B<T> arg) {
//            ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:65:50: Error: Type variables can't be used in static members.
//   static A<B<T>>? method6<S extends A<B<T>>>(A<B<T>> arg) {
//                                                  ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:65:14: Error: Type variables can't be used in static members.
//   static A<B<T>>? method6<S extends A<B<T>>>(A<B<T>> arg) {
//              ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:80:10: Error: Type variables can't be used in static members.
//   static T field0;
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:83:16: Error: Type variables can't be used in static members.
//   static Class<T>? field1;
//                ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:110:10: Error: Type variables can't be used in static members.
//   static T field0;
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:116:39: Error: Type variables can't be used in static members.
//   static T? staticMethod<S extends T>(T arg) {
//                                       ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:116:10: Error: Type variables can't be used in static members.
//   static T? staticMethod<S extends T>(T arg) {
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:135:10: Error: Type variables can't be used in static members.
//   static T field0;
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:138:39: Error: Type variables can't be used in static members.
//   static T? staticMethod<S extends T>(T arg) {
//                                       ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:138:10: Error: Type variables can't be used in static members.
//   static T? staticMethod<S extends T>(T arg) {
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:92:24: Error: Type variables can't be used in static members.
//   static var field4 = (T t) => T;
//                        ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:92:32: Error: Type variables can't be used in static members.
//   static var field4 = (T t) => T;
//                                ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:12:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:19:10: Error: Type variables can't be used in static members.
//   @Class<T>()
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:28:16: Error: Type variables can't be used in static members.
//   @Class<Class<T>>()
//                ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:37:6: Error: Type variables can't be used in static members.
//   @A<T>()
//      ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:46:8: Error: Type variables can't be used in static members.
//   @A<A<T>>()
//        ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:55:6: Error: Type variables can't be used in static members.
//   @B<T>()
//      ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:64:8: Error: Type variables can't be used in static members.
//   @A<B<T>>()
//        ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:79:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:82:10: Error: Type variables can't be used in static members.
//   @Class<T>()
//          ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:85:16: Error: Type variables can't be used in static members.
//   @Class<Class<T>>()
//                ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:88:6: Error: Type variables can't be used in static members.
//   @A<T>()
//      ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:91:6: Error: Type variables can't be used in static members.
//   @B<T>()
//      ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:94:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:97:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:109:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:112:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:115:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:122:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:134:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:137:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:144:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
// pkg/front_end/testcases/general/type_variable_in_static_context.dart:147:4: Error: Couldn't find constructor 'T'.
//   @T()
//    ^
//
import self as self;
import "dart:core" as core;

typedef A<T extends core::Object? = dynamic> = self::Class<T%>;
typedef B<T extends core::num> = self::Class<T>;
class Class<T extends core::Object? = dynamic> extends core::Object /*hasConstConstructor*/  {
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:79:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  static field invalid-type field0;
  @self::Class::•<invalid-type>()
  static field self::Class<invalid-type>? field1;
  @self::Class::•<self::Class<invalid-type>>()
  static field core::Type field2;
  @self::Class::•<invalid-type>()
  static field core::Type field3;
  @self::Class::•<invalid-type>()
  static field (invalid-type) → core::Type field4;
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:94:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  final field self::Class::T? instanceField;
  const constructor •() → self::Class<self::Class::T%>
    : super core::Object::•()
    ;
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:12:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  static method method0<S extends invalid-type>(invalid-type arg) → invalid-type
    ;
  @self::Class::•<invalid-type>()
  static method method1<S extends self::Class<invalid-type>>(self::Class<invalid-type> arg) → self::Class<invalid-type>?
    ;
  @self::Class::•<self::Class<invalid-type>>()
  static method method2<S extends self::Class<self::Class<invalid-type>>>(self::Class<self::Class<invalid-type>> arg) → self::Class<self::Class<invalid-type>>?
    ;
  @self::Class::•<invalid-type>()
  static method method3<S extends self::Class<invalid-type>>(self::Class<invalid-type> arg) → self::Class<invalid-type>?
    ;
  @self::Class::•<self::Class<invalid-type>>()
  static method method4<S extends self::Class<self::Class<invalid-type>>>(self::Class<self::Class<invalid-type>> arg) → self::Class<self::Class<invalid-type>>?
    ;
  @self::Class::•<invalid-type>()
  static method method5<S extends self::Class<invalid-type>>(self::Class<invalid-type> arg) → self::Class<invalid-type>?
    ;
  @self::Class::•<self::Class<invalid-type>>()
  static method method6<S extends self::Class<self::Class<invalid-type>>>(self::Class<self::Class<invalid-type>> arg) → self::Class<self::Class<invalid-type>>?
    ;
  @self::Class::•<<S extends invalid-type>() → void>()
  static method method7<U extends <S extends invalid-type = dynamic>() → void>(<S extends invalid-type = dynamic>() → void arg) → <S extends invalid-type = dynamic>() →? void
    ;
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:97:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  method instanceMethod<covariant-by-class S extends self::Class::T%>(covariant-by-class self::Class::T% t) → self::Class::T%
    ;
}
abstract class Mixin<T extends core::Object? = dynamic> extends core::Object /*isMixinDeclaration*/  {
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:134:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  static field invalid-type field0;
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:144:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  covariant-by-class field self::Mixin::T? instanceField;
  constructor •(invalid-type t) → self::Mixin<self::Mixin::T%>
    ;
  static factory fact<T extends core::Object? = dynamic>(self::Mixin::fact::T% t) → self::Mixin<self::Mixin::fact::T%>
    ;
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:137:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  static method staticMethod<S extends invalid-type>(invalid-type arg) → invalid-type
    ;
  @invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:147:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
  method instanceMethod<covariant-by-class S extends self::Mixin::T%>(covariant-by-class self::Mixin::T% t) → self::Mixin::T%
    ;
}
extension Extension<T extends core::Object? = dynamic> on T% {
  static field field0 = self::Extension|field0;
  field field1 = self::Extension|field1;
  static method staticMethod = self::Extension|staticMethod;
  method instanceMethod = self::Extension|instanceMethod;
  tearoff instanceMethod = self::Extension|get#instanceMethod;
}
@invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:109:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
static field invalid-type Extension|field0;
@invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:112:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
static field invalid-type Extension|field1;
@invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:115:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
static method Extension|staticMethod<S extends invalid-type>(invalid-type arg) → invalid-type
  ;
@invalid-expression "pkg/front_end/testcases/general/type_variable_in_static_context.dart:122:4: Error: Couldn't find constructor 'T'.
  @T()
   ^"
static method Extension|instanceMethod<T extends core::Object? = dynamic, S extends self::Extension|instanceMethod::T% = dynamic>(lowered final self::Extension|instanceMethod::T% #this, self::Extension|instanceMethod::T% t) → self::Extension|instanceMethod::T%
  ;
static method Extension|get#instanceMethod<T extends core::Object? = dynamic>(lowered final self::Extension|get#instanceMethod::T% #this) → <S extends self::Extension|get#instanceMethod::T% = dynamic>(self::Extension|get#instanceMethod::T%) → self::Extension|get#instanceMethod::T%
  return <S extends self::Extension|get#instanceMethod::T% = dynamic>(self::Extension|get#instanceMethod::T% t) → self::Extension|get#instanceMethod::T% => self::Extension|instanceMethod<self::Extension|get#instanceMethod::T%, S%>(#this, t);
static method main() → dynamic
  ;
static method _#B#new#tearOff<T extends core::num>() → self::Class<self::_#B#new#tearOff::T>
  return new self::Class::•<self::_#B#new#tearOff::T>();


Extra constant evaluation status:
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:19:4 -> InstanceConstant(const Class<<invalid>>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:28:4 -> InstanceConstant(const Class<Class<<invalid>>*>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:37:4 -> InstanceConstant(const Class<<invalid>>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:46:4 -> InstanceConstant(const Class<Class<<invalid>>*>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:55:4 -> InstanceConstant(const Class<<invalid>>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:64:4 -> InstanceConstant(const Class<Class<<invalid>>*>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:73:4 -> InstanceConstant(const Class<void Function<S extends <invalid>>()*>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:82:4 -> InstanceConstant(const Class<<invalid>>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:85:4 -> InstanceConstant(const Class<Class<<invalid>>*>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:88:4 -> InstanceConstant(const Class<<invalid>>{Class.instanceField: null})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///type_variable_in_static_context.dart:91:4 -> InstanceConstant(const Class<<invalid>>{Class.instanceField: null})
Extra constant evaluation: evaluated: 16, effectively constant: 11