impossible `outOfBounds` and `startGreaterThanEnd` safety checks emitted for slicing many-pointers

[xdBronch]

Zig Version

0.14.0-dev.2596+e6879e99e

Steps to Reproduce and Observed Behavior

export fn slice(p: [*]const u8, end: usize) void {
    _ = p[0..end];
}

pub const Panic = struct {
    pub const call = unreachable;
    pub const sentinelMismatch = unreachable;
    pub const unwrapError = unreachable;
    pub const inactiveUnionField = unreachable;
    pub const messages = unreachable;
    pub fn outOfBounds(_: usize, _: usize) noreturn {
        @compileError("outOfBounds");
    }
    pub fn startGreaterThanEnd(_: usize, _: usize) noreturn {
        @compileError("startGreaterThanEnd");
    }
};

had to make the 2 that are triggered functions otherwise analysis stopped at startGreaterThanEnd

$ zig build-obj a.zig
a.zig:12:9: error: outOfBounds
        @compileError("outOfBounds");
        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
a.zig:15:9: error: startGreaterThanEnd
        @compileError("startGreaterThanEnd");
        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

if you do a slice-by-length _ = p[0..][0..end]; then only outOfBounds is referenced

Expected Behavior

no safety checks should be referenced, both of these checks are impossible to trigger

[Vexu]

This call should be removed since the correct check is already added above.

[xdBronch]

looks like #21426 actually solves this, its one of the description examples

[andrewrk]

https://codeberg.org/ziglang/zig/pulls/30029