)]}'
{
  "id": "db4381fdd37d6c1d7f90a19e07ff62cde0545fca",
  "repo": "sdk.git",
  "revision": "3394fec2c7dd29a2cd2e31fccf2e0b61ba6e56f0",
  "path": "pkg/front_end/testcases/patterns/switch_encoding.dart"
}
