]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 0860f5a e355a33)
Rollup merge of #69387 - petrochenkov:idprint, r=Mark-Simulacrum
authorDylan DPC <dylan.dpc@gmail.com>
Wed, 26 Feb 2020 01:07:11 +0000 (02:07 +0100)
committerGitHub <noreply@github.com>
Wed, 26 Feb 2020 01:07:11 +0000 (02:07 +0100)
commit41bf200073da3413e9f4b71db5122bee09e5e88d
treee6202cd26a182d436cae8cd612ae8b343f933c49tree | snapshot
parent0860f5aebd1939b821cf9af5ba568cbd6be8077ecommit | diff
parente355a330772a7b605649651f7e670ea636e73a6ecommit | diff
Rollup merge of #69387 - petrochenkov:idprint, r=Mark-Simulacrum

Deduplicate identifier printing a bit

https://github.com/rust-lang/rust/pull/67010 introduced a couple more subtly different ways to print an identifier.
This PR attempts to restore the order.

The most basic identifier printing interface is `Formatter`-based now, so `String`s are not allocated unless required.

r? @Mark-Simulacrum
src/librustc_ast_pretty/pprust.rs diff1 | diff2 | blob | history
src/librustc_hir/print.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.