Changes!

Author: lpil

CHANGELOG.md

@@ -12,6 +12,10 @@
   with the wrong type when used on a use expression.
   ([Giacomo Cavalieri](https://github.com/giacomocavalieri))
 
+- Fixed a bug where the error message for inexhaustive patterns could show
+  incorrect extra patterns in addition to the correct missing patterns.
+  ([Adi Salimgereyev](https://github.com/abs0luty))
+
 ## v1.13.0-rc1 - 2025-09-29
 
 ### Compiler

compiler-core/src/exhaustiveness.rs

@@ -7,6 +7,9 @@
 //!   Per Gustafsson and Konstantinos Sagonas.
 //!   <https://user.it.uu.se/~kostis/Papers/JFP_06.pdf>
 //!
+//! - Compiling Pattern Matching to good Decision Trees, Luc Maranget.
+//!   <https://www.cs.tufts.edu/~nr/cs257/archive/luc-maranget/jun08.pdf>
+//!
 //! The first implementation of the decision tree was adapted from Yorick
 //! Peterse's implementation at
 //! <https://github.com/yorickpeterse/pattern-matching-in-rust>.