2 Checks for tuple patterns with a wildcard
3 pattern (`_`) is next to a rest pattern (`..`).
5 _NOTE_: While `_, ..` means there is at least one element left, `..`
6 means there are 0 or more elements left. This can make a difference
7 when refactoring, but shouldn't result in errors in the refactored code,
8 since the wildcard pattern isn't used anyway.
11 The wildcard pattern is unneeded as the rest pattern
12 can match that element as well.
17 TupleStruct(0, .., _) => (),
25 TupleStruct(0, ..) => (),