b30bcfae38
Fix some fallout around type alias impl trait in associated types
2022-04-06 12:56:22 +00:00
264cd05b16
Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"
...
This reverts commit 6499c5e7fc78450d2d60
2022-03-28 16:27:14 +00:00
d54195db22
Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"
...
This reverts commit e7cc3bddbe734368a200
2022-02-11 07:18:06 +00:00
0f6e06b7c0
Lazily resolve type-alias-impl-trait defining uses
...
by using an opaque type obligation to bubble up comparisons between opaque types and other types
Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
2022-02-02 15:40:11 +00:00
d49b0746f6
Add roll back infrastructure for opaque type caches
2022-02-02 15:40:10 +00:00
d71410757d
Add VecMap::get_value_matching and assert if > 1 element
...
Otherwise is a bug that we want to uncover.
2021-07-23 08:44:23 -03:00
6d76002baf
Make mir borrowck's use of opaque types independent of the typeck query's result
2021-07-22 11:20:29 +00:00
d693a98f4e
Fix VecMap::iter_mut
...
It used to allow you to mutate the key, even though that can invalidate the map by creating duplicate keys.
2021-07-22 11:20:29 +00:00
692f638036
Fix VecMap Extend impl
2021-07-13 15:05:29 +00:00
7b1e1c7333
add VecMap docs
2021-06-08 17:17:48 -03:00
cad762b1e2
Use impl FnMut directly as predicate type
2021-06-08 17:17:48 -03:00
ed94da14ed
Explicitly pass find arguments down the predicate so coercions can apply
2021-06-08 17:17:47 -03:00
dd56ec653c
Add VecMap::get_by(FnMut -> bool)
2021-06-08 09:40:58 -03:00
aa7024b0c7
Add VecMap to rustc_data_structures
2021-06-07 19:03:51 -03:00
Oli Scherer