It defines a new class for the object being matched.

It stores the result of the instanceof check (true or false).

It holds the value of the object if the type matches the pattern.

It allows for custom logic to be applied during the type check.