blob: 0a83431ef78ec7721ff889608305a0b4f82680fe [file] [log] [blame]
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
typedef Bar = self::Foo;
typedef BarGeneric<X extends core::Object? = dynamic> = self::FooGeneric<X%>;
class Foo extends core::Object /*hasConstConstructor*/ {
static final field dynamic _redirecting# = <dynamic>[self::Foo::namedFactory]/*isLegacy*/;
const constructor named() self::Foo
: super core::Object::•()
;
static factory namedFactory() self::Foo
return new self::Foo::named();
}
class FooGeneric<X extends core::Object? = dynamic> extends core::Object /*hasConstConstructor*/ {
static final field dynamic _redirecting# = <dynamic>[self::FooGeneric::namedFactory]/*isLegacy*/;
const constructor named() self::FooGeneric<self::FooGeneric::X%>
: super core::Object::•()
;
static factory namedFactory<X extends core::Object? = dynamic>() self::FooGeneric<self::FooGeneric::namedFactory::X%>
return new self::FooGeneric::named<self::FooGeneric::namedFactory::X%>();
}
static const field self::Foo bar = const self::Foo::named();
static const field self::Foo bar2 = const self::Foo::named();
static const field self::FooGeneric<core::int> barGeneric = const self::FooGeneric::named<core::int>();
static const field self::FooGeneric<core::int> barGeneric2 = const self::FooGeneric::named<core::int>();
static method main() dynamic
;
Extra constant evaluation status:
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///issue47339.dart:12:11 -> InstanceConstant(const Foo{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///issue47339.dart:14:22 -> InstanceConstant(const Foo{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///issue47339.dart:23:23 -> InstanceConstant(const FooGeneric<int*>{})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///issue47339.dart:25:48 -> InstanceConstant(const FooGeneric<int*>{})
Extra constant evaluation: evaluated: 10, effectively constant: 4