https://issues.dlang.org/show_bug.cgi?id=12247 --- Comment #3 from Simon Naarmann <eiderdaus at gmail.com> --- Ah, I wouldn't have guessed that absence of contract means an always-passing contract. Thanks! I agree to close it as a duplicate of 6856. --