← Back to index | Original Bugzilla link

Bug 24673 – [DIP1000] Usage of `scope` parameters should require an explicit `@safe`-ty annotation

Status: NEW
Severity: enhancement
Priority: P1
Component: dmd
Product: D
Version: D2
Platform: All
OS: All
Creation time: 2024-07-23T12:32:31Z
Last change time: 2024-12-13T19:36:36Z
Assigned to: No Owner
Creator: Bolpat

Comments

Comment #0 by qs.il.paperinik — 2024-07-23T12:32:31Z

On functions, annotating parameters `scope` or `in` should require the function be annotated with `@safe`, `@trusted` or `@system`. With `@system` being the default, it makes it easy to specify the outward guarantee that the parameter doesn’t escape without it being enforced.

Comment #1 by robert.schadek — 2024-12-13T19:36:36Z

THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18259 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB