We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 85fdb34 commit be23694Copy full SHA for be23694
compiler/rustc_mir_build/src/thir/pattern/usefulness.rs
@@ -852,10 +852,10 @@ enum WitnessPreference {
852
/// We'll perform the following steps:
853
/// 1. Start with an empty witness
854
/// `Witness(vec![])`
855
-/// 2. Push a witness `Some(_)` against the `None`
856
-/// `Witness(vec![Some(_)])`
857
-/// 3. Push a witness `true` against the `false`
858
-/// `Witness(vec![Some(_), true])`
+/// 2. Push a witness `true` against the `false`
+/// `Witness(vec![true])`
+/// 3. Push a witness `Some(_)` against the `None`
+/// `Witness(vec![true, Some(_)])`
859
/// 4. Apply the `Pair` constructor to the witnesses
860
/// `Witness(vec![Pair(Some(_), true)])`
861
///
0 commit comments