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@puremagic.com
          Reporter: qs.il.paperinik@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.

--