bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/regression.rs')
-rw-r--r--crates/hir-ty/src/tests/regression.rs63
1 files changed, 63 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/regression.rs b/crates/hir-ty/src/tests/regression.rs
index db289f430e..a3cf12d8a1 100644
--- a/crates/hir-ty/src/tests/regression.rs
+++ b/crates/hir-ty/src/tests/regression.rs
@@ -2232,3 +2232,66 @@ async fn f<A, B, C>() -> Bar {}
"#]],
);
}
+
+#[test]
+fn issue_18109() {
+ check_infer(
+ r#"
+//- minicore: option
+struct Map<T, U>(T, U);
+
+impl<T, U> Map<T, U> {
+ fn new() -> Self { loop {} }
+ fn get(&self, _: &T) -> Option<&U> { loop {} }
+}
+
+fn test(x: bool) {
+ let map = Map::new();
+ let _ = match x {
+ true => {
+ let Some(val) = map.get(&8) else { return };
+ *val
+ }
+ false => return,
+ _ => 42,
+ };
+}
+"#,
+ expect![[r#"
+ 69..80 '{ loop {} }': Map<T, U>
+ 71..78 'loop {}': !
+ 76..78 '{}': ()
+ 93..97 'self': &'? Map<T, U>
+ 99..100 '_': &'? T
+ 120..131 '{ loop {} }': Option<&'? U>
+ 122..129 'loop {}': !
+ 127..129 '{}': ()
+ 143..144 'x': bool
+ 152..354 '{ ... }; }': ()
+ 162..165 'map': Map<i32, i32>
+ 168..176 'Map::new': fn new<i32, i32>() -> Map<i32, i32>
+ 168..178 'Map::new()': Map<i32, i32>
+ 188..189 '_': i32
+ 192..351 'match ... }': i32
+ 198..199 'x': bool
+ 210..214 'true': bool
+ 210..214 'true': bool
+ 218..303 '{ ... }': i32
+ 236..245 'Some(val)': Option<&'? i32>
+ 241..244 'val': &'? i32
+ 248..251 'map': Map<i32, i32>
+ 248..259 'map.get(&8)': Option<&'? i32>
+ 256..258 '&8': &'? i32
+ 257..258 '8': i32
+ 265..275 '{ return }': !
+ 267..273 'return': !
+ 289..293 '*val': i32
+ 290..293 'val': &'? i32
+ 312..317 'false': bool
+ 312..317 'false': bool
+ 321..327 'return': !
+ 337..338 '_': bool
+ 342..344 '42': i32
+ "#]],
+ );
+}