Touching result prevents returning with proc's body as an expression

[ZoomRmc]

Description

func foo(): bool =
  result = true
  false

Nim Version

Verified for Nim 1.6.10 and 1.9.1.

Current Output

`Error: expression 'false' is of type 'bool' and has to be used (or discarded)`

Expected Output

Evaluate to `false`

Possible Solution

No response

Additional Information

Mixing different kinds of returns is not such a good style, but looks like it should be valid. If it's somehow not, the error message has to reflect that.

Seems to be related: #16855

[ghost]

As far as I know that's intended, it was even documented somewhere, will try to find it.

[Araq]

Works as intended.

[Araq]

From the manual:

Void context

In a list of statements, every expression except the last one needs to have the
type void. In addition to this rule an assignment to the builtin result
symbol also triggers a mandatory void context for the subsequent expressions:

proc invalid*(): string =
  result = "foo"
  "invalid"  # Error: value of type 'string' has to be discarded

proc valid*(): string =
  let x = 317
  "valid"