SKIP: FAILED

#include <metal_stdlib>
using namespace metal;

thread int3 x_1 = 0;
void main_1() {
  int3 const x_2 = x_1;
}
kernel void tint_symbol(uint3 x_1_param [[thread_position_in_threadgroup]]) {
  x_1 = as_type<int3>(x_1_param);
  main_1();
}
program_source:4:13: error: program scope variable must reside in constant address space
thread int3 x_1 = 0;
            ^
program_source:6:14: warning: unused variable 'x_2' [-Wunused-variable]
  int3 const x_2 = x_1;
             ^

