From 59874f3bea8fc27ec0659768b661c7961e73d4ab Mon Sep 17 00:00:00 2001
From: flip1995 <philipp.krones@embecosm.com>
Date: Wed, 5 May 2021 15:35:14 +0200
Subject: [PATCH] Add regression test for stack overflow in
 redundant_pattern_matching

---
 tests/ui/crashes/ice-7169.rs     |  9 +++++++++
 tests/ui/crashes/ice-7169.stderr | 10 ++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 tests/ui/crashes/ice-7169.rs
 create mode 100644 tests/ui/crashes/ice-7169.stderr

diff --git a/tests/ui/crashes/ice-7169.rs b/tests/ui/crashes/ice-7169.rs
new file mode 100644
index 000000000000..82095febc194
--- /dev/null
+++ b/tests/ui/crashes/ice-7169.rs
@@ -0,0 +1,9 @@
+#[derive(Default)]
+struct A<T> {
+    a: Vec<A<T>>,
+    b: T,
+}
+
+fn main() {
+    if let Ok(_) = Ok::<_, ()>(A::<String>::default()) {}
+}
diff --git a/tests/ui/crashes/ice-7169.stderr b/tests/ui/crashes/ice-7169.stderr
new file mode 100644
index 000000000000..5a9cd32380a1
--- /dev/null
+++ b/tests/ui/crashes/ice-7169.stderr
@@ -0,0 +1,10 @@
+error: redundant pattern matching, consider using `is_ok()`
+  --> $DIR/ice-7169.rs:8:12
+   |
+LL |     if let Ok(_) = Ok::<_, ()>(A::<String>::default()) {}
+   |     -------^^^^^-------------------------------------- help: try this: `if Ok::<_, ()>(A::<String>::default()).is_ok()`
+   |
+   = note: `-D clippy::redundant-pattern-matching` implied by `-D warnings`
+
+error: aborting due to previous error
+