Lifting operations from inline classes to reference projections

[Mateusz Romanowski]

Hi Brian et al,

Could you please show how following package-private inline class would be
translated?

inline class Point {
 public Point(int x, int z) {
   this.x = x;
   this.y = y;
 }
 public Point sum(Point that) {
   return new Point(this.x+that.x,this.y+that.y);
 }

 private final int x, y;
}

I am wondering how the client of public reference projection would get an
instance of the private implementation inline class.

Thanks,
Mateusz Romanowski