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

(2 留言) (3 反應) (0 負責人)Rust (10,406 star) (1,391 fork)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
議題類型: 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.