rust/compiler/rustc_infer/src/infer
bors ada80a13b9 Auto merge of #99725 - lcnr:dedup-region_bound_pairs, r=compiler-errors
use `FxIndexSet` for `region_bound_pairs`

should help with #99217 and might generally be a perf improvement.

r? types
2022-07-27 22:02:14 +00:00
..
canonical Use LocalDefId in OpaqueTypeKey 2022-07-19 02:08:49 +00:00
error_reporting Rollup merge of #99728 - cjgillot:ast-lifetimes-anon-clean, r=petrochenkov 2022-07-27 17:55:07 +02:00
higher_ranked Rename debugging_opts to unstable_opts 2022-07-13 17:47:06 -05:00
lexical_region_resolve Move is_free and is_free_or_static to Region, change resolve_var to resolve_region, and remove RootEmptyRegion 2022-07-07 20:48:51 -04:00
nll_relate Update TypeVisitor paths 2022-07-06 06:41:53 +01:00
opaque_types Have the spans of TAIT type conflict errors point to the actual site instead of the owning function 2022-03-28 16:30:59 +00:00
outlives use FxIndexSet for region_bound_pairs 2022-07-25 18:39:34 +02:00
region_constraints Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
at.rs move considering_regions to the infcx 2022-07-21 13:08:56 +02:00
combine.rs Update TypeVisitor paths 2022-07-06 06:41:53 +01:00
equate.rs update higher_ranked_sub docs 2022-06-10 10:09:50 +02:00
free_regions.rs Move is_free and is_free_or_static to Region, change resolve_var to resolve_region, and remove RootEmptyRegion 2022-07-07 20:48:51 -04:00
freshen.rs Update TypeVisitor paths 2022-07-06 06:41:53 +01:00
fudge.rs Rename the ConstS::val field as kind. 2022-06-14 13:06:44 +10:00
glb.rs lub: don't bail out due to empty binders 2022-06-08 12:41:42 +02:00
lattice.rs Spellchecking compiler comments 2022-03-30 15:14:15 -04:00
lub.rs lub: don't bail out due to empty binders 2022-06-08 12:41:42 +02:00
mod.rs Rollup merge of #99748 - compiler-errors:better-impl-trait-printing, r=fee1-dead 2022-07-26 14:27:00 +05:30
opaque_types.rs Rollup merge of #99079 - compiler-errors:issue-99073, r=oli-obk 2022-07-27 19:05:32 +09:00
projection.rs Use Term in ProjectionPredicate 2022-01-17 17:44:56 +00:00
resolve.rs Move is_free and is_free_or_static to Region, change resolve_var to resolve_region, and remove RootEmptyRegion 2022-07-07 20:48:51 -04:00
sub.rs Update TypeVisitor paths 2022-07-06 06:41:53 +01:00
type_variable.rs fix most compiler/ doctests 2022-05-02 17:40:30 -07:00
undo_log.rs Make evaluate_obligation not succeed unconditionally if it registered new hidden types for opaque types 2022-06-30 14:23:31 +00:00