> What should happen when the same ⟨pattern variable⟩ appears more than one time in a pattern?

For example

  (match '(42 42 nothing)
   ((,a ,a . rest) a))

In my opinion, the above expression should eval to 42.

What do you think?