doc/changelog/02-specification-language/12768-master+warn-non-underscore-catch-all-pattern-matching.rst


1
2
3
4
5
6
7

- **Added:**
  Warning on unused variables in pattern-matching branches of
  :n:`match` serving as catch-all branches for at least two distinct
  patterns.
  (`#12768 <https://github.com/coq/coq/pull/12768>`_,
  fixes `#12762 <https://github.com/coq/coq/issues/12762>`_,
  by Hugo Herbelin).