pkg/front_end/parser_testcases/patterns/nullCheck_insideCast.dart

void f(x) {
  const y = 1;
  switch (x) {
    case y? as num:
      break;
  }
}