path: root/testsuite/runnable/inferred_variable.elna

program()
var
  x := 42
  c: const := 10

begin
  x := x + 1;
  assert(x = 43 & c = 10)
end.