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

library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

class C<T extends core::Object? = dynamic> extends core::Object {
  covariant-by-class field self::C::T% field1;
  covariant-by-class field () → self::C::T% field2;
  field (self::C::T%) → void field3;
  covariant-by-class field (self::C::T%) → self::C::T% field4;
  covariant-by-class field () → () → self::C::T% field5;
  field (() → self::C::T%) → void field6;
  covariant-by-class field (() → self::C::T%) → self::C::T% field7;
  covariant-by-class field ((self::C::T%) → void) → void field8;
  covariant-by-class field ((self::C::T%) → void) → self::C::T% field9;
  covariant-by-class field ((self::C::T%) → self::C::T%) → void field10;
  covariant-by-class field ((self::C::T%) → self::C::T%) → self::C::T% field11;
  covariant-by-class field <S extends self::C::T% = dynamic>() → S% field12;
  covariant-by-class field <S extends self::C::T% = dynamic>(S%) → void field13;
  covariant-by-class field <S extends self::C::T% = dynamic>(S%) → S% field14;
  covariant-by-class field (<S extends self::C::T% = dynamic>() → S%) → void field15;
  constructor •(self::C::T% field1) → self::C<self::C::T%>
    ;
  get getter1() → self::C::T%
    ;
  get getter2() → () → self::C::T%
    ;
  get getter3() → (self::C::T%) → void
    ;
  get getter4() → (self::C::T%) → self::C::T%
    ;
  get getter5() → () → () → self::C::T%
    ;
  get getter6() → (() → self::C::T%) → void
    ;
  get getter7() → (() → self::C::T%) → self::C::T%
    ;
  get getter8() → ((self::C::T%) → void) → void
    ;
  get getter9() → ((self::C::T%) → void) → self::C::T%
    ;
  get getter10() → ((self::C::T%) → self::C::T%) → void
    ;
  get getter11() → ((self::C::T%) → self::C::T%) → self::C::T%
    ;
  get getter12() → <S extends self::C::T% = dynamic>() → S%
    ;
  get getter13() → <S extends self::C::T% = dynamic>(S%) → void
    ;
  get getter14() → <S extends self::C::T% = dynamic>(S%) → S%
    ;
  get getter15() → (<S extends self::C::T% = dynamic>() → S%) → void
    ;
  set setter1(covariant-by-class self::C::T% value) → void
    ;
  set setter2(covariant-by-class () → self::C::T% value) → void
    ;
  set setter3((self::C::T%) → void value) → void
    ;
  set setter4(covariant-by-class (self::C::T%) → self::C::T% value) → void
    ;
  set setter5(covariant-by-class () → () → self::C::T% value) → void
    ;
  set setter6((() → self::C::T%) → void value) → void
    ;
  set setter7(covariant-by-class (() → self::C::T%) → self::C::T% value) → void
    ;
  set setter8(covariant-by-class ((self::C::T%) → void) → void value) → void
    ;
  set setter9(covariant-by-class ((self::C::T%) → void) → self::C::T% value) → void
    ;
  set setter10(covariant-by-class ((self::C::T%) → self::C::T%) → void value) → void
    ;
  set setter11(covariant-by-class ((self::C::T%) → self::C::T%) → self::C::T% value) → void
    ;
  set setter12(covariant-by-class <S extends self::C::T% = dynamic>() → S% value) → void
    ;
  set setter13(covariant-by-class <S extends self::C::T% = dynamic>(S%) → void value) → void
    ;
  set setter14(covariant-by-class <S extends self::C::T% = dynamic>(S%) → S% value) → void
    ;
  set setter15(covariant-by-class (<S extends self::C::T% = dynamic>() → S%) → void value) → void
    ;
  method method1(covariant-by-class self::C::T% value) → void
    ;
  method method2(covariant-by-class () → self::C::T% value) → void
    ;
  method method3((self::C::T%) → void value) → void
    ;
  method method4(covariant-by-class (self::C::T%) → self::C::T% value) → void
    ;
  method method5(covariant-by-class () → () → self::C::T% value) → void
    ;
  method method6((() → self::C::T%) → void value) → void
    ;
  method method7(covariant-by-class (() → self::C::T%) → self::C::T% value) → void
    ;
  method method8(covariant-by-class ((self::C::T%) → void) → void value) → void
    ;
  method method9(covariant-by-class ((self::C::T%) → void) → self::C::T% value) → void
    ;
  method method10(covariant-by-class ((self::C::T%) → self::C::T%) → void value) → void
    ;
  method method11(covariant-by-class ((self::C::T%) → self::C::T%) → self::C::T% value) → void
    ;
  method method12(covariant-by-class <S extends self::C::T% = dynamic>() → S% value) → void
    ;
  method method13(covariant-by-class <S extends self::C::T% = dynamic>(S%) → void value) → void
    ;
  method method14(covariant-by-class <S extends self::C::T% = dynamic>(S%) → S% value) → void
    ;
  method method15(covariant-by-class (<S extends self::C::T% = dynamic>() → S%) → void value) → void
    ;
}
static method main() → dynamic
  ;