pkg/front_end/parser_testcases/patterns/recordTypedWildcardPattern_nonNullable_beforeColon.dart

void f(x) {
  switch (x) {
    case (int,) _:
  }
}