Nick Treleaven
Nick Treleaven
@geod24 I've edited the description and added links, hope that's ok
> I would like you to review the test case first Test case looks fine. > introduce a new test case for your change instead of extending review-needed.r/bug612019.pas.t This pull...
> Test case looks fine Although the procedures and function (which I added) should maybe have an empty parameter list.
> Your work is nothing to do with bug612019.pas, isn't it? It has a type declaration.
I think a more pragmatic step would be to opt in to `@safe` per module - `@safe module foo;`. That is far more flexible than a preview switch and allows...
@Bolpat `@safe:` turns off inference of safety for templates, inferred return type functions and function literals. `@safe module foo;` would just change the default safety but not override inference.
I'm concerned that automatically evaluating pure calls with literals at compile-time may slow down compilation. How about only doing this when `-inline` is passed to the compiler? There could still...
Forbidding `trusted` is both impractical and inconsistent (see the above comments). Forbidding `safe` is easy to justify, as that means mechanically checked. The DIP rationale might need to be very...
BTW I replied on the parameter thread but it's currently hidden as it got marked resolved: https://github.com/dlang/DIPs/pull/230#discussion_r944212064
I think just add `$ Identifier` under _PrimaryExpression_: https://dlang.org/spec/expression.html#primary_expressions