40 files changed, 18 insertions, 0 deletions
diff --git a/src/test/ui/recursion/auxiliary/recursive_reexports.rs b/tests/ui/recursion/auxiliary/recursive_reexports.rs
index f98fa7100..f98fa7100 100644
--- a/src/test/ui/recursion/auxiliary/recursive_reexports.rs
+++ b/tests/ui/recursion/auxiliary/recursive_reexports.rs
diff --git a/src/test/ui/recursion/instantiable.rs b/tests/ui/recursion/instantiable.rs
index ad0cf3f4a..ad0cf3f4a 100644
--- a/src/test/ui/recursion/instantiable.rs
+++ b/tests/ui/recursion/instantiable.rs
diff --git a/src/test/ui/recursion/issue-26548-recursion-via-normalize.rs b/tests/ui/recursion/issue-26548-recursion-via-normalize.rs
index 91958dffc..91958dffc 100644
--- a/src/test/ui/recursion/issue-26548-recursion-via-normalize.rs
+++ b/tests/ui/recursion/issue-26548-recursion-via-normalize.rs
diff --git a/src/test/ui/recursion/issue-26548-recursion-via-normalize.stderr b/tests/ui/recursion/issue-26548-recursion-via-normalize.stderr
index a75097cdb..a75097cdb 100644
--- a/src/test/ui/recursion/issue-26548-recursion-via-normalize.stderr
+++ b/tests/ui/recursion/issue-26548-recursion-via-normalize.stderr
diff --git a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.polonius.stderr b/tests/ui/recursion/issue-38591-non-regular-dropck-recursion.polonius.stderr
index 4b4fc4fb7..4b4fc4fb7 100644
--- a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.polonius.stderr
+++ b/tests/ui/recursion/issue-38591-non-regular-dropck-recursion.polonius.stderr
diff --git a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs b/tests/ui/recursion/issue-38591-non-regular-dropck-recursion.rs
index c9e93174e..c9e93174e 100644
--- a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.rs
+++ b/tests/ui/recursion/issue-38591-non-regular-dropck-recursion.rs
diff --git a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.stderr b/tests/ui/recursion/issue-38591-non-regular-dropck-recursion.stderr
index 1da29be43..002dfe115 100644
--- a/src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.stderr
+++ b/tests/ui/recursion/issue-38591-non-regular-dropck-recursion.stderr
@@ -8,3 +8,4 @@ LL | fn f(x: S<u32>) {}
 
 error: aborting due to previous error
 
+For more information about this error, try `rustc --explain E0320`.
diff --git a/src/test/ui/recursion/issue-83150.rs b/tests/ui/recursion/issue-83150.rs
index 38353d161..38353d161 100644
--- a/src/test/ui/recursion/issue-83150.rs
+++ b/tests/ui/recursion/issue-83150.rs
diff --git a/src/test/ui/recursion/issue-83150.stderr b/tests/ui/recursion/issue-83150.stderr
index dde8ad1b6..dde8ad1b6 100644
--- a/src/test/ui/recursion/issue-83150.stderr
+++ b/tests/ui/recursion/issue-83150.stderr
diff --git a/src/test/ui/recursion/issue-86784.rs b/tests/ui/recursion/issue-86784.rs
index 34f4aaedb..34f4aaedb 100644
--- a/src/test/ui/recursion/issue-86784.rs
+++ b/tests/ui/recursion/issue-86784.rs
diff --git a/src/test/ui/recursion/issue-95134.rs b/tests/ui/recursion/issue-95134.rs
index fdc4d5369..fdc4d5369 100644
--- a/src/test/ui/recursion/issue-95134.rs
+++ b/tests/ui/recursion/issue-95134.rs
diff --git a/src/test/ui/recursion/recursion.polonius.stderr b/tests/ui/recursion/recursion.polonius.stderr
index c727fe551..c727fe551 100644
--- a/src/test/ui/recursion/recursion.polonius.stderr
+++ b/tests/ui/recursion/recursion.polonius.stderr
diff --git a/src/test/ui/recursion/recursion.rs b/tests/ui/recursion/recursion.rs
index b3ba0ec3a..b3ba0ec3a 100644
--- a/src/test/ui/recursion/recursion.rs
+++ b/tests/ui/recursion/recursion.rs
diff --git a/src/test/ui/recursion/recursion.stderr b/tests/ui/recursion/recursion.stderr
index cf0809537..cf0809537 100644
--- a/src/test/ui/recursion/recursion.stderr
+++ b/tests/ui/recursion/recursion.stderr
diff --git a/src/test/ui/recursion/recursive-enum.rs b/tests/ui/recursion/recursive-enum.rs
index 32e707607..32e707607 100644
--- a/src/test/ui/recursion/recursive-enum.rs
+++ b/tests/ui/recursion/recursive-enum.rs
diff --git a/src/test/ui/recursion/recursive-enum.stderr b/tests/ui/recursion/recursive-enum.stderr
index d662d1022..d662d1022 100644
--- a/src/test/ui/recursion/recursive-enum.stderr
+++ b/tests/ui/recursion/recursive-enum.stderr
diff --git a/src/test/ui/recursion/recursive-reexports.rs b/tests/ui/recursion/recursive-reexports.rs
index 0e17f2251..0e17f2251 100644
--- a/src/test/ui/recursion/recursive-reexports.rs
+++ b/tests/ui/recursion/recursive-reexports.rs
diff --git a/src/test/ui/recursion/recursive-reexports.stderr b/tests/ui/recursion/recursive-reexports.stderr
index f39d0a0d5..f39d0a0d5 100644
--- a/src/test/ui/recursion/recursive-reexports.stderr
+++ b/tests/ui/recursion/recursive-reexports.stderr
diff --git a/src/test/ui/recursion/recursive-requirements.rs b/tests/ui/recursion/recursive-requirements.rs
index 9cfbee5f1..9cfbee5f1 100644
--- a/src/test/ui/recursion/recursive-requirements.rs
+++ b/tests/ui/recursion/recursive-requirements.rs
diff --git a/src/test/ui/recursion/recursive-requirements.stderr b/tests/ui/recursion/recursive-requirements.stderr
index 8ee154ce5..8ee154ce5 100644
--- a/src/test/ui/recursion/recursive-requirements.stderr
+++ b/tests/ui/recursion/recursive-requirements.stderr
diff --git a/src/test/ui/recursion/recursive-static-definition.rs b/tests/ui/recursion/recursive-static-definition.rs
index f59ef7316..f59ef7316 100644
--- a/src/test/ui/recursion/recursive-static-definition.rs
+++ b/tests/ui/recursion/recursive-static-definition.rs
diff --git a/src/test/ui/recursion/recursive-static-definition.stderr b/tests/ui/recursion/recursive-static-definition.stderr
index 135976145..135976145 100644
--- a/src/test/ui/recursion/recursive-static-definition.stderr
+++ b/tests/ui/recursion/recursive-static-definition.stderr
diff --git a/src/test/ui/recursion/recursive-types-are-not-uninhabited.rs b/tests/ui/recursion/recursive-types-are-not-uninhabited.rs
index 448930363..448930363 100644
--- a/src/test/ui/recursion/recursive-types-are-not-uninhabited.rs
+++ b/tests/ui/recursion/recursive-types-are-not-uninhabited.rs
diff --git a/tests/ui/recursion/recursive-types-are-not-uninhabited.stderr b/tests/ui/recursion/recursive-types-are-not-uninhabited.stderr
new file mode 100644
index 000000000..1b4d80d90
--- /dev/null
+++ b/tests/ui/recursion/recursive-types-are-not-uninhabited.stderr
@@ -0,0 +1,17 @@
+error[E0005]: refutable pattern in local binding
+  --> $DIR/recursive-types-are-not-uninhabited.rs:6:9
+   |
+LL |     let Ok(x) = res;
+   |         ^^^^^ pattern `Err(_)` not covered
+   |
+   = note: `let` bindings require an "irrefutable pattern", like a `struct` or an `enum` with only one variant
+   = note: for more information, visit https://doc.rust-lang.org/book/ch18-02-refutability.html
+   = note: the matched value is of type `Result<u32, &R<'_>>`
+help: you might want to use `let else` to handle the variant that isn't matched
+   |
+LL |     let Ok(x) = res else { todo!() };
+   |                     ++++++++++++++++
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0005`.
diff --git a/src/test/ui/recursion_limit/empty.rs b/tests/ui/recursion_limit/empty.rs
index 59dae106c..59dae106c 100644
--- a/src/test/ui/recursion_limit/empty.rs
+++ b/tests/ui/recursion_limit/empty.rs
diff --git a/src/test/ui/recursion_limit/empty.stderr b/tests/ui/recursion_limit/empty.stderr
index cb5c0c35a..cb5c0c35a 100644
--- a/src/test/ui/recursion_limit/empty.stderr
+++ b/tests/ui/recursion_limit/empty.stderr
diff --git a/src/test/ui/recursion_limit/invalid_digit.rs b/tests/ui/recursion_limit/invalid_digit.rs
index 03df3e7a9..03df3e7a9 100644
--- a/src/test/ui/recursion_limit/invalid_digit.rs
+++ b/tests/ui/recursion_limit/invalid_digit.rs
diff --git a/src/test/ui/recursion_limit/invalid_digit.stderr b/tests/ui/recursion_limit/invalid_digit.stderr
index 4dc93ad5f..4dc93ad5f 100644
--- a/src/test/ui/recursion_limit/invalid_digit.stderr
+++ b/tests/ui/recursion_limit/invalid_digit.stderr
diff --git a/src/test/ui/recursion_limit/invalid_digit_type.rs b/tests/ui/recursion_limit/invalid_digit_type.rs
index e408109b3..e408109b3 100644
--- a/src/test/ui/recursion_limit/invalid_digit_type.rs
+++ b/tests/ui/recursion_limit/invalid_digit_type.rs
diff --git a/src/test/ui/recursion_limit/invalid_digit_type.stderr b/tests/ui/recursion_limit/invalid_digit_type.stderr
index 6d1409bb3..6d1409bb3 100644
--- a/src/test/ui/recursion_limit/invalid_digit_type.stderr
+++ b/tests/ui/recursion_limit/invalid_digit_type.stderr
diff --git a/src/test/ui/recursion_limit/invalid_macro.rs b/tests/ui/recursion_limit/invalid_macro.rs
index 7db67a8d1..7db67a8d1 100644
--- a/src/test/ui/recursion_limit/invalid_macro.rs
+++ b/tests/ui/recursion_limit/invalid_macro.rs
diff --git a/src/test/ui/recursion_limit/invalid_macro.stderr b/tests/ui/recursion_limit/invalid_macro.stderr
index 0189e99da..0189e99da 100644
--- a/src/test/ui/recursion_limit/invalid_macro.stderr
+++ b/tests/ui/recursion_limit/invalid_macro.stderr
diff --git a/src/test/ui/recursion_limit/no-value.rs b/tests/ui/recursion_limit/no-value.rs
index 2202e5b77..2202e5b77 100644
--- a/src/test/ui/recursion_limit/no-value.rs
+++ b/tests/ui/recursion_limit/no-value.rs
diff --git a/src/test/ui/recursion_limit/no-value.stderr b/tests/ui/recursion_limit/no-value.stderr
index 35ac2c4cd..35ac2c4cd 100644
--- a/src/test/ui/recursion_limit/no-value.stderr
+++ b/tests/ui/recursion_limit/no-value.stderr
diff --git a/src/test/ui/recursion_limit/overflow.rs b/tests/ui/recursion_limit/overflow.rs
index c733ba6b9..c733ba6b9 100644
--- a/src/test/ui/recursion_limit/overflow.rs
+++ b/tests/ui/recursion_limit/overflow.rs
diff --git a/src/test/ui/recursion_limit/overflow.stderr b/tests/ui/recursion_limit/overflow.stderr
index 2f622d28b..2f622d28b 100644
--- a/src/test/ui/recursion_limit/overflow.stderr
+++ b/tests/ui/recursion_limit/overflow.stderr
diff --git a/src/test/ui/recursion_limit/zero-overflow.rs b/tests/ui/recursion_limit/zero-overflow.rs
index 77bd81856..77bd81856 100644
--- a/src/test/ui/recursion_limit/zero-overflow.rs
+++ b/tests/ui/recursion_limit/zero-overflow.rs
diff --git a/src/test/ui/recursion_limit/zero-overflow.stderr b/tests/ui/recursion_limit/zero-overflow.stderr
index 9007ec0d7..9007ec0d7 100644
--- a/src/test/ui/recursion_limit/zero-overflow.stderr
+++ b/tests/ui/recursion_limit/zero-overflow.stderr
diff --git a/src/test/ui/recursion_limit/zero.rs b/tests/ui/recursion_limit/zero.rs
index 3a2d904cb..3a2d904cb 100644
--- a/src/test/ui/recursion_limit/zero.rs
+++ b/tests/ui/recursion_limit/zero.rs
diff --git a/src/test/ui/recursion_limit/zero.stderr b/tests/ui/recursion_limit/zero.stderr
index b43565909..b43565909 100644
--- a/src/test/ui/recursion_limit/zero.stderr
+++ b/tests/ui/recursion_limit/zero.stderr