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 {}