"Mario Schmidt" wrote in message news:uftxdqcyjyermmthtwwt at forum.dlang.org... > This a rather simple example where the compiler would be perfectly able to > realize that the procedure goCrazy won't be called according it's > specified contracts. Pull requests welcome.