bors 7bc7be860f Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obk ...

allow eq constraints on associated constants

Updates #70256

(cc `@varkor,` `@Centril)`

2022-01-18 09:58:39 +00:00

..

canonical

Rollup merge of #92640 - compiler-errors:array-deref-on-newtype, r=lcnr

2022-01-18 04:41:58 +01:00

error_reporting

Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obk

2022-01-18 09:58:39 +00:00

higher_ranked

More tracing instrumentation

2021-09-28 12:28:22 +00:00

lexical_region_resolve

Instead of checking for exact bounds, try to prove them

2021-12-13 00:48:46 -05:00

nll_relate

initial revert

2022-01-15 01:16:55 +00:00

outlives

Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakis

2022-01-16 16:58:17 +01:00

region_constraints

Remove in_band_lifetimes from rustc_infer

2021-12-13 17:53:27 -05:00

at.rs

More tracing instrumentation

2021-09-28 12:28:22 +00:00

combine.rs

initial revert

2022-01-15 01:16:55 +00:00

equate.rs

Remove in_band_lifetimes from rustc_infer

2021-12-13 17:53:27 -05:00

free_regions.rs

Instead of checking for exact bounds, try to prove them

2021-12-13 00:48:46 -05:00

freshen.rs

initial revert

2022-01-15 01:16:55 +00:00

fudge.rs

Reduce boilerplate around infallible folders

2021-12-02 16:14:16 +00:00

glb.rs

Remove in_band_lifetimes from rustc_infer

2021-12-13 17:53:27 -05:00

lattice.rs

…

lub.rs

Remove in_band_lifetimes from rustc_infer

2021-12-13 17:53:27 -05:00

mod.rs

attempt to re-add ty::Unevaluated visitor and friends

2022-01-15 01:16:55 +00:00

opaque_types.rs

Update term for use in more places

2022-01-17 19:59:40 +00:00

projection.rs

Use Term in ProjectionPredicate

2022-01-17 17:44:56 +00:00

resolve.rs

initial revert

2022-01-15 01:16:55 +00:00

sub.rs

Remove in_band_lifetimes from rustc_infer

2021-12-13 17:53:27 -05:00

type_variable.rs

Add two inline annotations for hot functions

2021-10-03 12:43:43 -04:00

undo_log.rs

Fix more “a”/“an” typos

2021-08-22 17:27:18 +02:00