var
  x: Int

proc v()
return

program()
begin
  x := v() (* @Error Expected type 'Int', but the expression has no value *)
return 0u8

end.