From df75ef1c92e28a14fa8df5ae1422c672a0a8b990 Mon Sep 17 00:00:00 2001
From: Caio <c410.f3r@gmail.com>
Date: Thu, 25 Aug 2022 14:28:11 -0300
Subject: [PATCH] Add tests for 99866 and 99852

---
 src/test/ui/mir/issue-99852.rs | 16 ++++++++++++++++
 src/test/ui/mir/issue-99866.rs | 27 +++++++++++++++++++++++++++
 2 files changed, 43 insertions(+)
 create mode 100644 src/test/ui/mir/issue-99852.rs
 create mode 100644 src/test/ui/mir/issue-99866.rs

diff --git a/src/test/ui/mir/issue-99852.rs b/src/test/ui/mir/issue-99852.rs
new file mode 100644
index 0000000000000..94a7bd8db73bc
--- /dev/null
+++ b/src/test/ui/mir/issue-99852.rs
@@ -0,0 +1,16 @@
+// check-pass
+// compile-flags: -C opt-level=3
+
+#![crate_type = "lib"]
+
+fn lambda<T: Default>() -> T {
+    if true && let Some(bar) = transform() {
+        bar
+    } else {
+        T::default()
+    }
+}
+
+fn transform<T>() -> Option<T> {
+    None
+}
diff --git a/src/test/ui/mir/issue-99866.rs b/src/test/ui/mir/issue-99866.rs
new file mode 100644
index 0000000000000..c620fb2a0df81
--- /dev/null
+++ b/src/test/ui/mir/issue-99866.rs
@@ -0,0 +1,27 @@
+// check-pass
+// compile-flags: -C opt-level=3
+
+#![crate_type = "lib"]
+
+pub trait Backend {
+    type DescriptorSetLayout;
+}
+
+pub struct Back;
+
+impl Backend for Back {
+    type DescriptorSetLayout = u32;
+}
+
+pub struct HalSetLayouts {
+    vertex_layout: <Back as Backend>::DescriptorSetLayout,
+}
+
+impl HalSetLayouts {
+    pub fn iter<DSL>(self) -> DSL
+    where
+        Back: Backend<DescriptorSetLayout = DSL>,
+    {
+        self.vertex_layout
+    }
+}