path: root/testsuite/fail_compilation/assign_void_call.elna

var
  x: Int

proc v()
return

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