Void下上文

在语句列表中，除了最后一个表达式之外，每个表达式类型需要为 void 。 除了这个规则，对内置 result 标识符的赋值也会为后续的表达式触发强制的 void 上下文:

proc invalid* (): string =
  result = "foo"
  "invalid"  # 错误: 类型 `string` 的值必须被抛弃

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