| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/patterns/relational_assignable.dart:10:7: Error: Constant evaluation error: |
| // > s => 1, // Error: The implicit cast to num is statically known to fail. |
| // ^ |
| // pkg/front_end/testcases/patterns/relational_assignable.dart:10:7: Context: Expected constant '""' to be of type 'num', but was of type 'String'. |
| // > s => 1, // Error: The implicit cast to num is statically known to fail. |
| // ^ |
| // pkg/front_end/testcases/patterns/relational_assignable.dart:10:5: Context: While analyzing: |
| // > s => 1, // Error: The implicit cast to num is statically known to fail. |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method method1(core::int i) → dynamic { |
| return block { |
| core::int #t1; |
| final synthesized core::int #0#0 = i; |
| final const synthesized dynamic #0#3 = invalid-expression "Expected constant '\"\"' to be of type 'num', but was of type 'String'."; |
| #L1: |
| { |
| { |
| if(#0#0.{core::num::<}(#C1 as core::num){(core::num) → core::bool}) { |
| #t1 = 0; |
| break #L1; |
| } |
| } |
| { |
| if(#0#0.{core::num::>}(invalid-expression "Expected constant '\"\"' to be of type 'num', but was of type 'String'." as core::num){(core::num) → core::bool}) { |
| #t1 = 1; |
| break #L1; |
| } |
| } |
| { |
| if(true) { |
| #t1 = 2; |
| break #L1; |
| } |
| } |
| } |
| } =>#t1; |
| } |
| static method method2(core::int i) → dynamic { |
| return block { |
| core::int #t2; |
| final synthesized core::int #0#0 = i; |
| #L2: |
| { |
| { |
| if(#0#0.{core::num::<}(#C1 as core::num){(core::num) → core::bool}) { |
| #t2 = 0; |
| break #L2; |
| } |
| } |
| { |
| if(#0#0.{core::num::>}(#C2 as core::num){(core::num) → core::bool}) { |
| #t2 = 1; |
| break #L2; |
| } |
| } |
| { |
| if(true) { |
| #t2 = 2; |
| break #L2; |
| } |
| } |
| } |
| } =>#t2; |
| } |
| |
| constants { |
| #C1 = 0 |
| #C2 = 3.14 |
| } |