blob: c69fbc89172a646a27766cf7a2dbb073111d7238 [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
import "dart:_internal" as _in;
static method sideEffect<T extends core::Object? = dynamic>(core::List<self::sideEffect::T%> list) core::List<self::sideEffect::T%> {
core::print(self::sideEffect::T%);
return list;
}
static method method() dynamic {
{
final synthesized dynamic #0#0 = self::sideEffect<dynamic>(core::_GrowableList::•<dynamic>(0));
if(!true)
throw new core::StateError::•("Pattern matching error");
}
block {
final synthesized dynamic #1#0 = self::sideEffect<dynamic>(core::_GrowableList::•<dynamic>(0));
if(!true)
throw new core::StateError::•("Pattern matching error");
} =>#1#0;
{
final synthesized core::List<dynamic> #2#0 = self::sideEffect<dynamic>(core::_GrowableList::•<dynamic>(0));
if(true) {
core::print(true);
}
}
#L1:
{
final synthesized core::List<dynamic> #3#0 = self::sideEffect<dynamic>(core::_GrowableList::•<dynamic>(0));
{
if(true) {
}
}
}
return block {
core::bool #t1;
final synthesized core::List<dynamic> #4#0 = self::sideEffect<dynamic>(core::_GrowableList::•<dynamic>(0));
#L2:
{
{
if(true) {
#t1 = true;
break #L2;
}
}
throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
}
} =>#t1;
}
Extra constant evaluation status:
Evaluated: Not @ org-dartlang-testcase:///side_effect.dart:11:7 -> BoolConstant(false)
Evaluated: Not @ org-dartlang-testcase:///side_effect.dart:12:3 -> BoolConstant(false)
Extra constant evaluation: evaluated: 27, effectively constant: 2