pkg/front_end/parser_testcases/patterns/typed_final_variable_inside_null_assert.dart

test(dynamic x) {
  switch (x) {
    case final int y!:
      break;
  }
}