RsDoctorrust-doctor · Async
blocking-lock-in-async
Detect blocking mutex acquisition inside async functions
- Severity
- warning
- Confidence
- medium
- Analyzer
- syn-ast
- Default policy
- Opt-in
Tags
Framework requirements
tokio *async-std *smol *
Limitations
- Syntactic analysis does not have rustc name resolution or inferred type information.
Remediation
Use an async-aware mutex or prove the critical section cannot block.
Fix capability: guidance