|  | library test; | 
|  | import self as self; | 
|  | import "dart:core" as core; | 
|  |  | 
|  | static field core::bool a_not = !true; | 
|  | static field core::int a_complement = 1.{core::int::~}(){() → core::int}; | 
|  | static field core::int a_negate = 1.{core::int::unary-}(){() → core::int}; | 
|  | static method main() → dynamic { | 
|  | self::a_not; | 
|  | self::a_complement; | 
|  | self::a_negate; | 
|  | } | 
|  |  | 
|  |  | 
|  | Extra constant evaluation status: | 
|  | Evaluated: Not @ org-dartlang-testcase:///infer_prefix_expression.dart:8:13 -> BoolConstant(false) | 
|  | Evaluated: InstanceInvocation @ org-dartlang-testcase:///infer_prefix_expression.dart:9:38 -> IntConstant(-2) | 
|  | Evaluated: InstanceInvocation @ org-dartlang-testcase:///infer_prefix_expression.dart:10:39 -> IntConstant(-1) | 
|  | Extra constant evaluation: evaluated: 6, effectively constant: 3 |