object pattern

Also written: object patterns

A switch pattern that matches an object by type, like CardPayment c, which also names the matched object c.