SKIP: FAILED

#include <metal_stdlib>
using namespace metal;

thread uint var_1 = 0u;
void main_1() {
  var_1 = 1u;
  switch(42u) {
    case 20u:
    {
      var_1 = 20u;
      break;
    }
    default:
    {
      break;
    }
  }
  var_1 = 7u;
}
fragment void tint_symbol() {
  main_1();
}
program_source:4:13: error: program scope variable must reside in constant address space
thread uint var_1 = 0u;
            ^