Compilation Warnings Related to Uninitialized Struct Fields

[karel-tomanec]

Issue Summary:
The provided code produces the following compilation warnings:

warning 41020: exiting constructor without initializing field 'barycentrics'
warning 41020: exiting constructor without initializing field 'primitiveIndex'

These warnings occur in the struct HitInfo, which has two fields: float3 barycentrics and uint primitiveIndex. The warnings indicate that the constructors (__init functions) may not be properly initializing these fields.

Code Snippet:

struct HitInfo
{
    float3 barycentrics;
    uint primitiveIndex;
    
    [[mutating]] void init(float2 hitBarycentrics, uint hitPrimitiveIndex)
    {
        barycentrics = { 1.0 - hitBarycentrics.x - hitBarycentrics.y, hitBarycentrics.x, hitBarycentrics.y };
        primitiveIndex = hitPrimitiveIndex;
    }

    __init(float2 hitBarycentrics, uint hitPrimitiveIndex)
    {
        init(hitBarycentrics, hitPrimitiveIndex);
    }

    __init(BuiltInTriangleIntersectionAttributes attr)
    {
        init(attr.barycentrics, PrimitiveIndex());
    }
}

Root Cause:
The warnings are triggered because the compiler may not recognize that the init function, which is a [[mutating]] method, properly initializes the struct members barycentrics and primitiveIndex. Since these members are not explicitly initialized within the __init functions themselves, the compiler assumes they might remain uninitialized, hence the warnings.

Suggestion for Improvement:
Would it be possible to enhance compiler to check whether [[mutating]] functions called within constructors are initializing all the struct members?