Support for `gl_HitTriangleVertexPositionsEXT` about slang HOT 15 CLOSED

// Adding capability and extension for KHR_ray_tracing_position_fetch
__glsl_extension(GL_EXT_ray_tracing_position_fetch)
float3 getHitTriangleVertexPositions(int ID)
{
    __target_switch
    {
    case glsl:
        __intrinsic_asm "gl_HitTriangleVertexPositionsEXT[$0]";
    default:
        return float3(0, 0, 0);
    }
}

  case spirv:
    return spirv_asm {
      OpExtension "SPV_KHR_ray_tracing_position_fetch";
      OpCapability RayTracingPositionFetchKHR;
      result:$$float3 = OpLoad builtin(HitTriangleVertexPositionsKHR:float3) $0;
      };

// Adding capability and extension for KHR_ray_tracing_position_fetch
__glsl_extension(GL_EXT_ray_tracing_position_fetch)
float3 getHitTriangleVertexPositions(int ID)
{
  __target_switch
  {
  case glsl:
    __intrinsic_asm "gl_HitTriangleVertexPositionsEXT[$0]";
  case spirv:
    return spirv_asm {
      OpExtension "SPV_KHR_ray_tracing_position_fetch";
      OpCapability RayTracingPositionFetchKHR;
      
      %addr = OpAccessChain %_ptr_Input_v3float builtin(HitTriangleVertexPositionsKHR:float3[3U]) $ID;
      result:$$float3 = OpLoad %v3float %addr;
      };
  default:
    return float3(0, 0, 0);
  }
}

%_arr_v3float_0_int_3 = OpTypeArray %v3float_0 %int_3
%_ptr_Input__arr_v3float_0_int_3 = OpTypePointer Input %_arr_v3float_0_int_3
%367 = OpVariable %_ptr_Input__arr_v3float_0_int_3 Input
%ID = OpFunctionParameter %int
%addr = OpAccessChain %_ptr_Input_v3float %367 %ID

%_arr_v3float_uint_3 = OpTypeArray %v3float %uint_3
%_ptr_Input__arr_v3float_uint_3 = OpTypePointer Input %_arr_v3float_uint_3
%gl_HitTriangleVertexPositionsEXT = OpVariable %_ptr_Input__arr_v3float_uint_3 Input
%224 = OpAccessChain %_ptr_Input_v3float %gl_HitTriangleVertexPositionsEXT %int_0
%225 = OpLoad %v3float %224

 %addr = OpAccessChain %_ptr_Input_v3float builtin(HitTriangleVertexPositionsKHR:float3[3U]) $ID;

%_ptr_Input_v3float = OpTypePointer $$float3 Input;
 %addr:%_ptr_Input_v3float = OpAccessChain builtin(HitTriangleVertexPositionsKHR:float3[3U]) $ID;

// Adding capability and extension for KHR_ray_tracing_position_fetch
[ForceInline]
__glsl_extension(GL_EXT_ray_tracing_position_fetch)
float3 getHitTriangleVertexPositions(int ID)
{
  __target_switch
  {
  case glsl:
    __intrinsic_asm "gl_HitTriangleVertexPositionsEXT[$0]";
  case spirv:
    return spirv_asm {
      OpExtension "SPV_KHR_ray_tracing_position_fetch";
      OpCapability RayTracingPositionFetchKHR;
      
      %pv3float = OpTypePointer Input $$float3;
      %addr = OpAccessChain %pv3float builtin(HitTriangleVertexPositionsKHR:float3[3]) $ID;
      result:$$float3 = OpLoad %addr;
      };
  default:
    return float3(0, 0, 0);
  }
}

       %addr = OpAccessChain %pv3float %361 %int_0
       %362 = OpLoad %v3float %addr

float3 HitTriangleVertexPosition(uint index);

void rayQueryGetIntersectionTriangleVertexPositionsEXT(rayQueryEXT q, bool committed, out vec3 positions[3]);