Used when a method is given an actual parameter violating the formal parameter definition. For example, when a pattern is constructed with an array.