Merge pull request #3303 from shssoichiro/3069-unnecessary-fold-pattern-guard

Note known false positives in unnecessary_fold lint
This commit is contained in:
Philipp Hansch 2018-10-18 22:26:33 +02:00 committed by GitHub
commit 8f5a2484a0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -688,7 +688,8 @@ declare_clippy_lint! {
///
/// **Why is this bad?** Readability.
///
/// **Known problems:** None.
/// **Known problems:** False positive in pattern guards. Will be resolved once
/// non-lexical lifetimes are stable.
///
/// **Example:**
/// ```rust