Ah, I thought you were referring to the benefits of such a system as compared to zig and blithely passing the responsibility of input validation on to the progr

Ah, I thought you were referring to the benefits of such a system as compared to zig and blithely passing the responsibility of input validation on to the programmer. Rust of course demonstrates the benefit of checking validity at initialization.