Can the compiler detect that and use the proper code so no test is needed at runtime?

This is Zig so I guess the answer is "yeah, duh" but wanted to ask since it sounded like the solution is less, uh, "compiler-friendly" than I would expect.

▲ hansvm 5 days ago | parent [-]

Yes, and if you're paranoid you can write

  if (comptime T == u8) {
    // code
  }

to guarantee that if you're wrong about how the compiler behaves then you'll get a compiler error.

▲

dpatterbee 5 days ago | parent [-]

Zig has no type info at runtime so this is and always will be guaranteed to be a comptime check.

	▲	Zambyte 4 days ago \| parent [-]
		Hence the paranoia :-D But I do think adding explicit `comptime` in places like this is reasonable for the sake of conveying intent to other programmers.