| library test /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| |
| static field core::num a = 1 =={core::num::==}{(core::Object) → core::bool} 2 ?{core::num} 1 : 2.0; |
| static field core::num b = 1 =={core::num::==}{(core::Object) → core::bool} 2 ?{core::num} 1.0 : 2; |
| static method main() → dynamic { |
| self::a; |
| self::b; |
| } |
| |
| |
| Extra constant evaluation status: |
| Evaluated: ConditionalExpression @ org-dartlang-testcase:///infer_conditional.dart:8:35 -> DoubleConstant(2.0) |
| Evaluated: ConditionalExpression @ org-dartlang-testcase:///infer_conditional.dart:9:35 -> IntConstant(2) |
| Extra constant evaluation: evaluated: 4, effectively constant: 2 |
