Feedback Thread: DIP 1038-- at nodiscard--Final Review

[Max Haughton]

On Thursday, 4 February 2021 at 14:17:35 UTC, Paul Backus wrote:
> On Thursday, 4 February 2021 at 09:09:02 UTC, Walter Bright 
> wrote:
>> [...]
>
> I intended "a @nodiscard function" to refer only to the 
> syntax-level check, but I can see how it can be read as 
> ambiguous. A clearer way to phrase it would be "a function 
> annotated with @nodiscard."
>
> [...]

Can the flow analysis not be done on the expression-level? i.e. 
the expression is part of a larger graph representing what the 
function does, if there is a path that escapes starting from the 
expressions definition then it should be an error.