[maxxxxx]

That looks really interesting. Is this all done at compile time or runtime? After further reading the answer seems to be compile.

[ben-schaaf]

Definitely compile time. D has a somewhat similar feature called contracts (https://dlang.org/spec/contracts.html) which happen at runtime, but don't influence function/template resolution.