| library /*isNonNullableByDefault*/; | |
| // | |
| // Problems in library: | |
| // | |
| // pkg/front_end/testcases/general/issue47223a.dart:6:4: Warning: Operand of null-aware operation '??' has type 'Never' which excludes null. | |
| // (throw "some value") ?? "some other value"; | |
| // ^ | |
| // | |
| import self as self; | |
| import "dart:core" as core; | |
| static method test() → void { | |
| let final Never #t1 = throw "some value" in #t1 == null ?{core::String} "some other value" : #t1; | |
| } | |
| static method main() → dynamic {} |