Bug 3400 – scope(failure) is not allowed in contracts

import std.stdio; int sqrt(int i) out (result) { scope (failure) writeln("ooops"); assert(result * result == i); } body { return i / 2; // buggy implementation :) } Error: Throw statements cannot be in contracts I'm not sure if it's a good idea to disallow throw statements in contracts: It's so easy to overcome this restriction (by calling assert or any other function that will throw) that I don't think it's worth the trouble.

*** This issue has been marked as a duplicate of issue 3388 ***