From 2de6eb7bc852d096d2f09b7efe2469317bd86c9c Mon Sep 17 00:00:00 2001 From: Jonas Schievink Date: Sat, 12 Sep 2020 21:15:00 +0200 Subject: Add box pattern test --- crates/hir_ty/src/tests/patterns.rs | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/crates/hir_ty/src/tests/patterns.rs b/crates/hir_ty/src/tests/patterns.rs index aeb191c79..6a965ac4f 100644 --- a/crates/hir_ty/src/tests/patterns.rs +++ b/crates/hir_ty/src/tests/patterns.rs @@ -654,3 +654,28 @@ fn slice_tail_pattern() { "#]], ); } + +#[test] +fn box_pattern() { + check_infer( + r#" + #[lang = "owned_box"] + pub struct Box(T); + + fn foo(params: Box) { + match params { + box integer => {} + } + } + "#, + expect![[r#" + 52..58 'params': Box + 70..124 '{ ... } }': () + 76..122 'match ... }': () + 82..88 'params': Box + 99..110 'box integer': Box + 103..110 'integer': i32 + 114..116 '{}': () + "#]], + ); +} -- cgit v1.2.3