diff options
| author | Philipp Hansch <dev@phansch.net> | 2018-10-15 21:02:38 +0200 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2018-10-15 21:02:38 +0200 |
| commit | b61ca63c5e91d8659af239e658bf313894aebd23 (patch) | |
| tree | 71c8ca5596a662c5d0ce7bf702abf053c851605e /clippy_dev | |
| parent | fb830c53db356b22a2635ed50d0698fafe310321 (diff) | |
| download | rust-b61ca63c5e91d8659af239e658bf313894aebd23.tar.gz rust-b61ca63c5e91d8659af239e658bf313894aebd23.zip | |
sort_by -> sort_by_key
Diffstat (limited to 'clippy_dev')
| -rw-r--r-- | clippy_dev/src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index d1161323b02..9e78def78fe 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -44,7 +44,7 @@ fn print_lints() { if lint_group == "Deprecated" { continue; } println!("\n## {}", lint_group); - lints.sort_by(|a, b| a.name.cmp(&b.name)); + lints.sort_by_key(|l| l.name.clone()); for lint in lints { println!("* [{}]({}#{}) ({})", lint.name, clippy_dev::DOCS_LINK.clone(), lint.name, lint.desc); |
