pkg/front_end/testcases/patterns/caseHead_withNewPattern_guarded_insideIfStatement.dart

void f(x) {
  if (x case 0 as int when true) {}
}