diff options
| author | bors <bors@rust-lang.org> | 2018-04-13 13:09:40 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-04-13 13:09:40 +0000 |
| commit | b8f60f3fc47f0f94666721b9fdfebf95ab5fc444 (patch) | |
| tree | 79579455a0100fd7c65a3c673a0ffcb6d170312d /src/liballoc/string.rs | |
| parent | 99d4886ead646da864cff7963f540a44acd4af05 (diff) | |
| parent | b15df80345acd9e58824b638d67eec258952d268 (diff) | |
| download | rust-b8f60f3fc47f0f94666721b9fdfebf95ab5fc444.tar.gz rust-b8f60f3fc47f0f94666721b9fdfebf95ab5fc444.zip | |
Auto merge of #49800 - ishitatsuyuki:intern-goal, r=nikomatsakis
traits: Implement interning for Goal and Clause r? @nikomatsakis Close #49054 Contains some refactoring for the interning mechanism, mainly aimed at reducing pain when changing types of interning map. This should be mostly good, although I'm not sure with the naming of `Goal::from_poly_domain_goal`.
Diffstat (limited to 'src/liballoc/string.rs')
0 files changed, 0 insertions, 0 deletions