testsuite/fail_compilation/reference_call_result_field.elna


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

program()
type
  R = record
    x: Int
  end

var
  p: ^Int

proc make() -> R
var
  result: R
begin
  result.x := 1
return result

begin
  p := @make().x (* @Error Expression of type 'Int' is not addressable *)
end.