SI-9343 Xlint less strict on pattern sequences

-Xlint:stars-align warns only if elementarity > 0, that is,
if an extracted sequence is not matched entirely by a pattern
sequence, that is, in SLS 8.1.9 on pattern sequences, n = 1
and that pattern is a pattern sequence.

This is still only triggered if productarity > 0, that is,
a non-pattern-sequence pattern is required for the match.

This is a sensitive area because it borders on exhaustiveness
checking: it would be preferable to verify just that the match
is exhaustive, and to emit this warning only if it is not.

0 files changed, 0 insertions, 0 deletions