Playground

import System;

public record value Point
{
	public:
		i32 X;
		i32 Y;
		new(i32 X, i32 Y);
}

Main()
{
	Point p = new Point(1, 2);
	Point q = p with { Y = 5 };
	Console.WriteLine(p + " " + q);
	Console.WriteLine(p == new Point(1, 2));
	Dictionary<Point, str> names = new Dictionary<Point, str>();
	names[p] = "start";
	Console.WriteLine(names[new Point(1, 2)]);
	if (q is Point(1, var y))
		Console.WriteLine(y);
}