https://issues.dlang.org/show_bug.cgi?id=24565

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> ---
@ntrel created dlang/dlang.org pull request #3836 "[spec/function] Improve contract docs" fixing this issue:

- [spec/function] Improve contract docs

  Move in/out grammar to respective subheadings.
  Use list for contract expression arguments.
  Fix grammar for invalid state sentences.
  Fix wording of postcondition best practice.
  Mention postcondition identifier is implicitly const.
  Add anchor for example subheading.

  Fix Bugzilla 24565 - out contract variable is implicitly const

https://github.com/dlang/dlang.org/pull/3836

--

https://issues.dlang.org/show_bug.cgi?id=24565

timon.gehr@gmx.ch changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |timon.gehr@gmx.ch

--- Comment #2 from timon.gehr@gmx.ch ---
FWIW, I would prefer fixing the implementation instead of documenting this annoying behavior that makes contracts less useful.

--

https://issues.dlang.org/show_bug.cgi?id=24565

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dlang.org pull request #3836 "[spec/function] Improve contract docs" was merged into master:

- 6ee6e8cf6d997803145ce81415bab16cb95841c0 by Nick Treleaven:
  [spec/function] Improve contract docs

  Move in/out grammar to respective subheadings.
  Use list for contract expression arguments.
  Fix grammar for invalid state sentences.
  Fix wording of postcondition best practice.
  Mention postcondition identifier is implicitly const.
  Add anchor for example subheading.

  Fix Bugzilla 24565 - out contract variable is implicitly const

https://github.com/dlang/dlang.org/pull/3836

--