diff options
author | Som Snytt <som.snytt@gmail.com> | 2015-06-03 16:36:43 -0700 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2015-06-03 16:36:43 -0700 |
commit | 79436caa98ba46de644841a67ea9ff103831e574 (patch) | |
tree | 3c4f04bad8624e8ded8155ffd87d8028d5d5f9a7 /test/files/neg/t5675.check | |
parent | 70f0b1ded880ec9b3a9478d02f1898fcfeee230c (diff) | |
download | scala-79436caa98ba46de644841a67ea9ff103831e574.tar.gz scala-79436caa98ba46de644841a67ea9ff103831e574.tar.bz2 scala-79436caa98ba46de644841a67ea9ff103831e574.zip |
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.
Diffstat (limited to 'test/files/neg/t5675.check')
0 files changed, 0 insertions, 0 deletions