On Wednesday, 16 May 2018 at 19:16:11 UTC, Manu wrote: > I'm wondering if it should also be possible to apply in/out > contracts > to function prototypes? Contracts should be checked by the caller, yes, and the idea regularly pops up here, I though there's an issue for this, but can't find it, maybe this https://issues.dlang.org/show_bug.cgi?id=6857