diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2025-06-22 20:27:27 +1000 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2025-06-22 20:28:48 +1000 |
| commit | 0cf0f9fc74f7bd1c9f160cc1dbd67c92a9436704 (patch) | |
| tree | 8331f586fde8080d0ef5d3143ef1b184b14db0d5 /compiler/rustc_const_eval/src/interpret/mod.rs | |
| parent | ea34650916887b5075812d0f11c1d3209e7f94ab (diff) | |
| download | rust-0cf0f9fc74f7bd1c9f160cc1dbd67c92a9436704.tar.gz rust-0cf0f9fc74f7bd1c9f160cc1dbd67c92a9436704.zip | |
Use `join_with_double_colon` in `write_shared.rs`.
For consistency. Also, it's faster because `join_with_double_colon` does a better job estimating the allocation size than `join` from `itertools`.
Diffstat (limited to 'compiler/rustc_const_eval/src/interpret/mod.rs')
0 files changed, 0 insertions, 0 deletions