Bug 12741 – DMD accepts functions with contracts and no body

DMD accepts the following: ----- interface SomeInterface { void doStuff(int x) in { assert (x < 100); } } ----- The grammar specification states that a body statement is required when an in or out contract is specified. FunctionBody: BlockStatement BodyStatement InStatement BodyStatement OutStatement BodyStatement InStatement OutStatement BodyStatement OutStatement InStatement BodyStatement

This is as expected and is a document bug. See: http://dlang.org/interface.html#InterfaceContracts

Commits pushed to master at https://github.com/D-Programming-Language/dlang.org https://github.com/D-Programming-Language/dlang.org/commit/1c970a38fe8925571676a2bd155c00961e651d9a fix Issue 12741 - DMD accepts functions with contracts and no body Support normal function declaration without body. https://github.com/D-Programming-Language/dlang.org/commit/699e98f9a5a80d31380369438506ba0a68466a74 Merge pull request #657 from 9rnsr/fix12741 Issue 12741 - DMD accepts functions with contracts and no body

Commits pushed to 2.067 at https://github.com/D-Programming-Language/dlang.org https://github.com/D-Programming-Language/dlang.org/commit/1c970a38fe8925571676a2bd155c00961e651d9a fix Issue 12741 - DMD accepts functions with contracts and no body https://github.com/D-Programming-Language/dlang.org/commit/699e98f9a5a80d31380369438506ba0a68466a74 Merge pull request #657 from 9rnsr/fix12741