| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| |
| static method main() → dynamic { |
| core::bool b = false; |
| block { |
| final core::List<core::String> #t1 = core::_GrowableList::_literal1<core::String>("ab"); |
| if(b) |
| #t1.{core::List::add}{Invariant}("cd"){(core::String) → void}; |
| } =>#t1; |
| } |
| |
| |
| Extra constant evaluation status: |
| Evaluated: StringConcatenation @ org-dartlang-testcase:///string_concatenation.dart:7:3 -> StringConstant("ab") |
| Evaluated: StringConcatenation @ org-dartlang-testcase:///string_concatenation.dart:7:18 -> StringConstant("cd") |
| Extra constant evaluation: evaluated: 8, effectively constant: 2 |
