https://issues.dlang.org/show_bug.cgi?id=12579
--- Comment #3 from brian-schott at cox.net ---
The grammar also states that function literals can have contracts by using the
FunctionBody rule, but the compiler rejects this:
void function() f = in { assert(true); } body { writeln("hello world"); }
--