user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/librustc_data_structures
History
Aaron Hill 90afc0765e
Use a ParamEnvAnd<Predicate> for caching in ObligationForest 
Previously, we used a plain `Predicate` to cache results (e.g. successes
and failures) in ObligationForest. However, fulfillment depends on the
precise `ParamEnv` used, so this is unsound in general.

This commit changes the impl of `ForestObligation` for
`PendingPredicateObligation` to use `ParamEnvAnd<Predicate>` instead of
`Predicate` for the associated type. The associated type and method are
renamed from 'predicate' to 'cache_key' to reflect the fact that type is
no longer just a predicate.
2020-01-22 22:20:18 -05:00
..
base_n Format the world 2019-12-22 17:42:47 -05:00
binary_search_util Galloping search for binary_search_util 2020-01-12 01:38:07 +01:00
graph Convert collapsed to shortcut reference links 2019-12-26 05:27:55 -08:00
obligation_forest Use a ParamEnvAnd<Predicate> for caching in ObligationForest 2020-01-22 22:20:18 -05:00
owning_ref Format the world 2019-12-22 17:42:47 -05:00
sip128 Format the world 2019-12-22 17:42:47 -05:00
small_c_str librustc_data_structures: Unconfigure tests during normal build 2019-08-02 01:59:01 +03:00
snapshot_map Format the world 2019-12-22 17:42:47 -05:00
sorted_map Format the world 2019-12-22 17:42:47 -05:00
tiny_list Format the world 2019-12-22 17:42:47 -05:00
transitive_relation Format the world 2019-12-22 17:42:47 -05:00
atomic_ref.rs Store callbacks in global statics 2019-12-25 14:10:46 -05:00
base_n.rs Format the world 2019-12-22 17:42:47 -05:00
box_region.rs Format the world 2019-12-22 17:42:47 -05:00
captures.rs {rustc::util -> rustc_data_structures}::captures 2020-01-09 08:57:24 +01:00
Cargo.toml use winapi for non-stdlib Windows bindings 2020-01-11 20:56:46 -05:00
const_cstr.rs Format the world 2019-12-22 17:42:47 -05:00
fingerprint.rs Format the world 2019-12-22 17:42:47 -05:00
flock.rs use winapi for non-stdlib Windows bindings 2020-01-11 20:56:46 -05:00
fx.rs define_id_collections -> rustc_data_structures 2020-01-04 18:57:22 +01:00
jobserver.rs Re-export Client from rustc_data_structures::jobserver 2019-12-03 12:19:16 -05:00
lib.rs use winapi for non-stdlib Windows bindings 2020-01-11 20:56:46 -05:00
macros.rs Format the world 2019-12-22 17:42:47 -05:00
profiling.rs [self-profiler] Add example to -Z help to turn on query key recording 2020-01-17 06:25:22 -05:00
ptr_key.rs Format the world 2019-12-22 17:42:47 -05:00
sharded.rs Lift using interners instead of in_arena 2020-01-11 07:56:01 +01:00
sip128.rs Format the world 2019-12-22 17:42:47 -05:00
small_c_str.rs Format the world 2019-12-22 17:42:47 -05:00
sorted_map.rs Format the world 2019-12-22 17:42:47 -05:00
stable_hasher.rs Format the world 2019-12-22 17:42:47 -05:00
stable_map.rs Format the world 2019-12-22 17:42:47 -05:00
stable_set.rs data_structures: Add deterministic FxHashMap and FxHashSet wrappers 2019-09-28 14:35:20 +05:30
svh.rs Format the world 2019-12-22 17:42:47 -05:00
sync.rs Format the world 2019-12-22 17:42:47 -05:00
thin_vec.rs Format the world 2019-12-22 17:42:47 -05:00
tiny_list.rs Make TinyList::remove iterate instead of recurse 2019-12-11 21:05:28 +01:00
transitive_relation.rs Format the world 2019-12-22 17:42:47 -05:00
vec_linked_list.rs Format the world 2019-12-22 17:42:47 -05:00
work_queue.rs Format the world 2019-12-22 17:42:47 -05:00