Make using compiled libs with debug code better

[Ola Fosheim Grøstad]

On Monday, 18 October 2021 at 13:04:47 UTC, Steven Schveighoffer 
wrote:
> Would it be a reasonable thing to change contracts to be called 
> by the caller instead of the callee? Is that something that 
> could make its way into D, such that the input checking of 
> functions that are compiled for release still can run when you 
> compile your code in non-release mode?

Isn't this how contracts should work in general? You test the 
preconditions before calling the function, hoping that the 
optimizer will resolve them at compiletime?