1
Fork 0
rust/compiler/rustc_data_structures/src
bors b2b7c859c1 Auto merge of #87287 - oli-obk:fixup_fixup_fixup_opaque_types, r=spastorino
Make mir borrowck's use of opaque types independent of the typeck query's result

fixes #87218
fixes #86465

we used to use the typeck results only to generate an obligation for the mir borrowck type to be equal to the typeck result.

When i removed the `fixup_opaque_types` function in #87200, I exposed a bug that showed that mir borrowck can't doesn't get enough information from typeck in order to build the correct lifetime mapping from opaque type usage to the actual concrete type. We therefor now fully compute the information within mir borrowck (we already did that, but we only used it to verify the typeck result) and stop using the typeck information.

We will likely be able to remove most opaque type information from the borrowck results in the future and just have all current callers use the mir borrowck result instead.

r? `@spastorino`
2021-07-23 03:40:26 +00:00
..
base_n
binary_search_util
graph Only initialize what is used 2021-02-10 09:20:41 +01:00
obligation_forest Some perf optimizations and logging 2021-07-17 16:09:17 -04:00
owning_ref
sip128 SipHasher128: improve constant names and add more comments 2020-10-11 23:48:35 -07:00
small_c_str
snapshot_map
sorted_map Prefer partition_point to look up assoc items 2021-06-17 11:40:37 +09:00
sso Use arrayvec 0.7, drop smallvec 0.6 2021-04-21 22:39:08 -07:00
stable_hasher Stable hashing: add comments and tests concerning platform-independence 2020-09-30 00:57:35 -07:00
tagged_ptr Remove (lots of) dead code 2021-03-27 22:16:33 -04:00
thin_vec Add FromIterator and IntoIterator impls for ThinVec 2021-04-05 19:09:51 -07:00
tiny_list Move some test-only code to test files 2021-03-17 10:31:30 -04:00
transitive_relation Move some test-only code to test files 2021-03-17 10:31:30 -04:00
vec_map Add VecMap to rustc_data_structures 2021-06-07 19:03:51 -03:00
atomic_ref.rs
base_n.rs
captures.rs Remove #[allow(unused_lifetimes)] which is now unnecessary 2021-06-17 08:56:54 +09:00
fingerprint.rs Allow for reading raw bytes from rustc_serialize::Decoder without unsafe code. 2021-03-25 14:05:00 +01:00
flock.rs Don't panic when failing to initialize incremental directory. 2021-05-25 14:40:33 -07:00
frozen.rs
functor.rs words 2020-11-16 22:42:09 +01:00
fx.rs
jobserver.rs datastructures: replace lazy_static by SyncLazy from std 2020-09-01 22:06:47 +01:00
lib.rs Fix VecMap::iter_mut 2021-07-22 11:20:29 +00:00
macros.rs Allow variant attributes in enum_from_u32! 2021-02-28 11:53:55 -08:00
map_in_place.rs
memmap.rs Add safety comment to StableAddress impl for Mmap 2021-04-03 14:51:05 +02:00
profiling.rs Add docs to new methods 2021-07-07 11:14:14 +02:00
ptr_key.rs
sharded.rs Separate the query cache from the query state. 2021-02-13 21:14:58 +01:00
sip128.rs SipHasher128: improve constant names and add more comments 2020-10-11 23:48:35 -07:00
small_c_str.rs
sorted_map.rs Replace absolute paths with relative ones 2020-10-13 14:16:45 +02:00
stable_hasher.rs Remove StableVec. 2021-06-01 20:53:04 +02:00
stable_map.rs
stable_set.rs
stack.rs
steal.rs Auto merge of #80692 - Aaron1011:feature/query-result-debug, r=estebank 2021-01-26 05:47:23 +00:00
svh.rs Fix outdated crate names in compiler docs 2021-04-08 11:12:14 -05:00
sync.rs Unify parallel and non-parallel APIs 2021-06-04 15:26:08 -04:00
tagged_ptr.rs Miscellaneous inlining improvements 2021-06-02 08:49:58 +02:00
temp_dir.rs Capitalize safety comments 2020-09-08 22:37:18 -04:00
thin_vec.rs Add FromIterator and IntoIterator impls for ThinVec 2021-04-05 19:09:51 -07:00
tiny_list.rs Move some test-only code to test files 2021-03-17 10:31:30 -04:00
transitive_relation.rs Move some test-only code to test files 2021-03-17 10:31:30 -04:00
unhash.rs Avoid rehashing Fingerprint as a map key 2020-09-01 18:27:02 -07:00
vec_linked_list.rs
vec_map.rs Make mir borrowck's use of opaque types independent of the typeck query's result 2021-07-22 11:20:29 +00:00
work_queue.rs Remove (lots of) dead code 2021-03-27 22:16:33 -04:00