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