]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 99d4886 b15df80)
Auto merge of #49800 - ishitatsuyuki:intern-goal, r=nikomatsakis
authorbors <bors@rust-lang.org>
Fri, 13 Apr 2018 13:09:40 +0000 (13:09 +0000)
committerbors <bors@rust-lang.org>
Fri, 13 Apr 2018 13:09:40 +0000 (13:09 +0000)
commitb8f60f3fc47f0f94666721b9fdfebf95ab5fc444
tree79579455a0100fd7c65a3c673a0ffcb6d170312dtree | snapshot
parent99d4886ead646da864cff7963f540a44acd4af05commit | diff
parentb15df80345acd9e58824b638d67eec258952d268commit | diff
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`.
src/librustc/ty/context.rs diff1 | diff2 | blob | history
src/librustc/ty/maps/mod.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.