]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #100803 - klensy:do-not-encode-preinterned-symbols, r=bjorn3
authorbors <bors@rust-lang.org>
Wed, 24 Aug 2022 16:56:32 +0000 (16:56 +0000)
committerbors <bors@rust-lang.org>
Wed, 24 Aug 2022 16:56:32 +0000 (16:56 +0000)
commitebfc7aa53185617f14e1e15bef8ef5b4505b5397
tree84e41374423ad00866a502792ba13bdfa7d3eb48
parent4a24f08ba43166cfee86d868b3fe8612aec6faca
parentf6329485a83c1d241635e0dedbf62929e193b10a
Auto merge of #100803 - klensy:do-not-encode-preinterned-symbols, r=bjorn3

Symbols: do not write string values of preinterned symbols into compiled artifacts

r? `@bjorn3`

Followup for #98851

https://github.com/rust-lang/rust/pull/98851#issuecomment-1215606291
compiler/rustc_span/src/symbol.rs