[Issue 24654] New: Parameters in contracts should be `const`
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Tue Jul 9 12:13:50 UTC 2024
https://issues.dlang.org/show_bug.cgi?id=24654
Issue ID: 24654
Summary: Parameters in contracts should be `const`
Product: D
Version: D2
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: P1
Component: dmd
Assignee: nobody at puremagic.com
Reporter: qs.il.paperinik at gmail.com
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.
--
More information about the Digitalmars-d-bugs
mailing list