Failure to detect runtime-known argument passed to comptime parameter

Zig Version

0.12.0-dev.25+36c57c3ba

Steps to Reproduce and Observed Behavior

test {
    const x = struct {
        fn x(sentinel: u8) void {
            var buf: [64]u8 = undefined;
            _ = @import("std").mem.sliceTo(&buf, sentinel);
        }
    }.x;
    x(0);
}

This fails to detect that sentinel is a runtime-known argument and cannot be passed to comptime parameter comptime end: meta.Elem(@TypeOf(ptr)) of std.mem.sliceTo:

$ zig test x.zig
Segmentation fault (core dumped)

It works when making sentinel a comptime parameter.

Expected Behavior

$ zig test x.zig
x.zig:7:31: error: runtime-known argument passed to comptime parameter
            _ = @import("std").mem.sliceTo(&buf, sentinel);
                                                 ^~~~~~~~
x.zig:13:39: note: declared comptime here
pub fn sliceTo(ptr: anytype, comptime end: std.meta.Elem(@TypeOf(ptr))) SliceTo(@TypeOf(ptr), end) {
                                      ^~~

[mlugg]

Resolved by #16604

[mlugg@polaris test]$ z4 result-type-shenanigans test foo.zig
foo.zig:5:50: error: runtime-known argument passed to comptime parameter
            _ = @import("std").mem.sliceTo(&buf, sentinel);
                                                 ^~~~~~~~
/home/mlugg/zig/result-type-shenanigans/lib/std/mem.zig:800:39: note: declared comptime here
pub fn sliceTo(ptr: anytype, comptime end: meta.Elem(@TypeOf(ptr))) SliceTo(@TypeOf(ptr), end) {
                                      ^~~
referenced by:
    test_0: foo.zig:7:6
    remaining reference traces hidden; use '-freference-trace' to see all reference traces

Do you mind adding this as a test?

export fn entry() void {
    const x = struct {
        fn x(sentinel: u8) void {
            var buf: [64]u8 = undefined;
            _ = @import("std").mem.sliceTo(&buf, sentinel);
        }
    }.x;
    x(0);
}

// error
// backend=stage2
// target=native
//
// :5:50: error: runtime-known argument passed to comptime parameter

[mlugg]

Yeah, doing that now - just trying to reduce it to not depend on std

[jacobly0]

Already resolved by #16752 and already tested by callComptimeBoolFunctionWithRuntimeBool.