diff --git a/crates/hir/src/semantics/source_to_def.rs b/crates/hir/src/semantics/source_to_def.rs index 4672e7db40c..5c4cfa7b45a 100644 --- a/crates/hir/src/semantics/source_to_def.rs +++ b/crates/hir/src/semantics/source_to_def.rs @@ -213,10 +213,15 @@ impl SourceToDefCtx<'_, '_> { src: InFile, ) -> Option<(DefWithBodyId, PatId)> { let container = self.find_pat_or_label_container(src.syntax())?; - let (_body, source_map) = self.db.body_with_source_map(container); + let (body, source_map) = self.db.body_with_source_map(container); let src = src.map(ast::Pat::from); let pat_id = source_map.node_pat(src.as_ref())?; - Some((container, pat_id)) + // the pattern could resolve to a constant, verify that that is not the case + if let crate::Pat::Bind { .. } = body[pat_id] { + Some((container, pat_id)) + } else { + None + } } pub(super) fn self_param_to_def( &mut self, diff --git a/crates/ide_assists/src/handlers/inline_local_variable.rs b/crates/ide_assists/src/handlers/inline_local_variable.rs index 0b4f46caf41..65dc2a0d511 100644 --- a/crates/ide_assists/src/handlers/inline_local_variable.rs +++ b/crates/ide_assists/src/handlers/inline_local_variable.rs @@ -935,6 +935,20 @@ fn f() { 0 }; } +"#, + ); + } + + #[test] + fn test_inline_let_unit_struct() { + check_assist_not_applicable( + inline_local_variable, + r#" +struct S; +fn f() { + let S$0 = S; + S; +} "#, ); }