pkg/front_end/parser_testcases/patterns/cast_insideCast.dart

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