pkg/front_end/parser_testcases/patterns/nullAssert_insideCast.dart

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