dmd icon indicating copy to clipboard operation
dmd copied to clipboard
verified publisher icon dlang

Parameters in contracts should be `const`

Open dlangBugzillaToGithub opened this issue 1 year ago • 7 comments

Bolpat reported this on 2024-07-09T12:13:50Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=24654

CC List

  • Nick Treleaven (@ntrel)
  • Bolpat

Description

Similar to Issue 24565 (out contract variable is implicitly const), function parameters should only be available as `const` and `scope` in contracts.

At least for `@safe` code.

dlangBugzillaToGithub avatar Jul 09 '24 12:07 dlangBugzillaToGithub