blob: 69ce7d093a4d196bfee753fbee7fc5ec17ffb53f [file] [log] [blame]
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
class Class1 extends core::Object {
synthetic constructor •() self::Class1
;
method method(core::int o) core::double
;
}
class Class2<T extends core::Object? = dynamic> extends core::Object {
covariant-by-class field self::Class2::T% field;
field core::Function nonNullableFunctionField;
field core::Function? nullableFunctionField;
field () void nonNullableFunctionTypedField;
field () →? void nullableFunctionTypedField;
constructor •(self::Class2::T% field, core::Function nonNullableFunctionField, () void nonNullableFunctionTypedField) self::Class2<self::Class2::T%>
;
method call() self::Class2::T%
;
method method(core::int o) self::Class2::T%
;
get nonNullableFunctionGetter() core::Function
;
get nullableFunctionGetter() core::Function?
;
get nonNullableFunctionTypedGetter() () void
;
get nullableFunctionTypedGetter() () →? void
;
}
static const field core::int i = 4;
static const field core::int j = 24;
static const field core::int k = self::i.{core::num::*}(self::j){(core::num) core::int};
static method test<T1 extends core::Function, T2 extends (core::int) core::int, T3 extends core::Object? = dynamic>(self::Class1 nonNullableClass1, self::Class1? nullableClass1, dynamic dyn, Never never, self::Class2<core::String> nonNullableClass2, self::Class2<core::String>? nullableClass2, core::Function nonNullableFunction, core::Function? nullableFunction, (core::int) core::int nonNullableFunctionType, (core::int) →? core::int nullableFunctionType, <T extends core::Object? = dynamic>(T%) T% genericFunctionType, self::test::T1 nonNullableTypeVariable1, self::test::T1? nullableTypeVariable1, self::test::T2 nonNullableTypeVariable2, self::test::T2? nullableTypeVariable2, self::test::T3% undeterminedTypeVariable) dynamic
;
static method main() dynamic
;
Extra constant evaluation status:
Evaluated: InstanceInvocation @ org-dartlang-testcase:///method_invocation.dart:40:17 -> IntConstant(96)
Extra constant evaluation: evaluated: 1, effectively constant: 1