How to make the compiler shut up

[shut ibex]

the compiler is saying no field named 'x' in struct 'tracer.Triangle' at o.x

switch (obj) {
    .triangle => {

    },
    else => {
        const x = switch (obj) { inline else => |o| o.x };
        const y = switch (obj) { inline else => |o| o.y };
        const z = switch (obj) { inline else => |o| o.z };
        const lightVector = Vec3.normalize(vec3(f32,
            x - intersection.x, 
            y - intersection.y, 
            z - intersection.z
        ));
        const shade = Vec3.dot(lightVector, normalVector);
        if (shade > 0) {
            totalShade += shade;
        }
    }
}

However the flow of execution will only ever reach o.x if the obj union is not Triangle

[quick ingot]

.triangle => unreachable

[obsidian radish]

switch (obj) {
    .triangle => {

    },
    inline else => |o| {
        const lightVector = Vec3.normalize(vec3(f32,
            o.x - intersection.x, 
            o.y - intersection.y, 
            o.z - intersection.z
        ));
        const shade = Vec3.dot(lightVector, normalVector);
        if (shade > 0) {
            totalShade += shade;
        }
    }
}

[quick ingot]

to be clear, i meant .triangle => unreachable inside the const x = switch (obj, but jacob's answer is definitely better

[inland fog]

may be i should start a new topic, but isn't inline used for comptime loop can you explain what's it's role here?

[placid pike]

https://ziglang.org/documentation/master/#Inline-Switch-Prongs
its effectively identical to writing out each switch case separately

[inland fog]

umm how is that useful for runtime case doesn't the compiler auto generate those prongs? for comptime it kinda makes sense i guess

ow i am only looking at inline else, inline 0, 1 makes quite sense

[placid pike]

here its useful because its accessing fields from the different variants of the union, without inline else youd need to do something like obj.foo.x for each different variant that obj can be

inline else generates code for each variant separately so you can treat as 1 because the variant becomes comptime known