On Friday, 11 May 2018 at 18:44:25 UTC, H. S. Teoh wrote:
On Fri, May 11, 2018 at 04:57:05PM +0000, Mark via Digitalmars-d wrote:[...]This makes me wonder if it might be useful to have return-type constraints. A kind of static out-contract? Something that's part of the function declaration, that ensures that the return type satisfies certain properties.[...]
Coincidentally, over in Rust... https://blog.rust-lang.org/2018/05/10/Rust-1.26.html