library; | |
import self as self; | |
import "dart:core" as core; | |
static method main() → void { | |
late core::String s; | |
(() → Null { | |
{ | |
final synthesized(core::String) #0#0 = (""); | |
core::String #t1; | |
#t1 = #0#0.$1{core::String}; | |
s = #t1; | |
} | |
})(){() → Null}; | |
s; | |
} | |
Extra constant evaluation status: | |
Evaluated: RecordLiteral @ org-dartlang-testcase:///variable_might_be_assigned_by_variable_pattern.dart:8:12 -> RecordConstant(const ("")) | |
Extra constant evaluation: evaluated: 9, effectively constant: 1 |