On 1/11/2024 11:45 AM, Timon Gehr wrote: > My point was with DIP1036e it either works or does not compile, not that you > called the wrong function. What's missing is why is a runtime check not good enough? The D compiler emits more than one safety check at runtime. For example, array bounds checking, and switch statement default checks.