| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/nnbd/issue42459.dart:10:7: Error: A value must be explicitly returned from a non-void function. |
| // return; |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method test() → dynamic { |
| (dynamic x) → core::int? { |
| if(x as{TypeError,ForDynamic,ForNonNullableByDefault} core::bool) { |
| return 1; |
| } |
| else { |
| return invalid-expression "pkg/front_end/testcases/nnbd/issue42459.dart:10:7: Error: A value must be explicitly returned from a non-void function. |
| return; |
| ^" in null; |
| } |
| }; |
| function local(dynamic x) → void { |
| if(x as{TypeError,ForDynamic,ForNonNullableByDefault} core::bool) { |
| return core::print(""); |
| } |
| else { |
| return; |
| } |
| } |
| } |
| static method main() → dynamic {} |
