var
  x: Int

proc v()
return

begin
  x := v() (* @Error Expected type 'Int', but the expression has no value *)
end.