Suggestion: borrowing a RefCell in funarg position · rust-lang/rust-clippy#4632

(2 comments) (3 reactions) (0 assignees)Rust (10,406 stars) (1,391 forks)batch import

A-lintT-middlegood first issue

説明

I recently came across this fun correctness bug in my code: https://github.com/rust-lang/rust/issues/65086.

I’m not sure how I could have known this without asking a compiler developer. Can we add a lint prohibiting RefCell borrows in funarg position since they prevent mutable borrows further down the stack?

コントリビューターガイド

技術スタック: rust
領域: developer experiencetooling
Issue 種別: feature
難度: 3
推定時間: 3-5 days
活動状況: stale
明確さ: clear
前提条件: RustBorrow checker basics
初心者向け度: 50
調査方針: This feature requests a new Clippy lint to detect RefCell borrows in function argument positions. To implement, study existing Clippy lints related to borrows (e.g., borrow deref ref). The lint will need to analyze function call expressions in the HIR or MIR, checking if any argument is a borrow from a RefCell. Also review the linked Rust issue (https://github.com/rust lang/rust/issues/65086) for understanding the problem. The implementation should produce a warning with a clear message explaining why the pattern is problematic.