| library test /*isNonNullableByDefault*/; |
| 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 |
