Rollup merge of #150651 - Sekar-C-Mca:fix-pattern-usefulness-typo, r=nnethercote

Fix typo in pattern usefulness documentation

Line 171 introduced  and  as variable names, but
line 172 incorrectly used . This commit fixes the
inconsistency to use the correct variable names throughout.

Fixes rust-lang/rust#149803
This commit is contained in:
Matthias Krüger 2026-01-03 23:52:11 +01:00 committed by GitHub
commit c0c4525cd3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -169,7 +169,7 @@
//! on pattern-tuples.
//!
//! Let `pt_1, .., pt_n` and `qt` be length-m tuples of patterns for the same type `(T_1, .., T_m)`.
//! We compute `usefulness(tp_1, .., tp_n, tq)` as follows:
//! We compute `usefulness(pt_1, .., pt_n, qt)` as follows:
//!
//! - Base case: `m == 0`.
//! The pattern-tuples are all empty, i.e. they're all `()`. Thus `tq` is useful iff there are