SKIP: FAILED

#include <metal_stdlib>
using namespace metal;

kernel void tint_symbol() {
  int i = 123;
  thread int* const p = i;
  p = 123;
  p = 123;
}
program_source:6:21: error: cannot initialize a variable of type 'int *const' with an lvalue of type 'int'
  thread int* const p = i;
                    ^   ~
program_source:7:5: error: cannot assign to variable 'p' with const-qualified type 'int *const'
  p = 123;
  ~ ^
program_source:6:21: note: variable 'p' declared const here
  thread int* const p = i;
  ~~~~~~~~~~~~~~~~~~^~~~~
program_source:8:5: error: cannot assign to variable 'p' with const-qualified type 'int *const'
  p = 123;
  ~ ^
program_source:6:21: note: variable 'p' declared const here
  thread int* const p = i;
  ~~~~~~~~~~~~~~~~~~^~~~~