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.