point.php

<?php

data class Point(
	int $x,
	int $y,
);

// Compiles to

class Point {
	public initonly int $x;
	public initonly int $y:

	public function __construct(int $x, string $y)
	{
		$this->x = $x;
		$this->y = $y;
	}

	public static function __isIdentical(Point $lhs, Point $rhs): bool
	{
		return $lhs->x === $rhs->x
			&& $lhs->y === $rhs->y;
	}

	public function __deconstruct(&$x, &$y): void
	{
		$x = $this->x;
		$y = $this->y;
	}
}

$point1 = new Point(1, 2);
$point2 = new Point(1, 2);

$point1 === $point2; // true
in_array($point1, [$point2], true); // true
[$x1, $y1] = $point1; // $x1 = 1, $y1 = 2