type
  R = record
    x: Int
  end

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

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