Matthias Krüger 16de1fddee Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726 ... implied_bounds: deal with inference vars fixes #101951 while computing implied bounds for `<<T as ConstructionFirm>::Builder as BuilderFn<'_>>::Output` normalization replaces a projection with an inference var (adding a `Projection` obligation). Until we prove that obligation, this inference var remains unknown, which caused us to miss an implied bound necessary to prove that the unnormalized projection from the trait method signature is wf. r? types		2022-09-25 09:32:07 +02:00
..
canonical	Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errors	2022-09-19 04:56:14 +00:00
error_reporting	separate definitions and HIR owners	2022-09-24 23:21:19 +09:00
higher_ranked	change FnMutDelegate to trait objects	2022-09-15 16:59:58 +02:00
lexical_region_resolve	Combine logic from lubs into lub_empty function	2022-09-08 20:55:56 -04:00
nll_relate	tracing::instrument cleanup	2022-09-01 14:54:27 +00:00
opaque_types	tracing::instrument cleanup	2022-09-01 14:54:27 +00:00
outlives	Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726	2022-09-25 09:32:07 +02:00
region_constraints	Make some functions pub(super)	2022-09-08 20:55:56 -04:00
at.rs	Attempt to normalize FnDef signature in InferCtxt::cmp	2022-08-25 23:32:46 +00:00
combine.rs	Auto merge of #102056 - b-naber:unevaluated, r=lcnr	2022-09-23 13:39:11 +00:00
equate.rs	Comment, and bail early if bound vars list differs	2022-09-22 02:17:39 +00:00
free_regions.rs	get rid of RefCell in TransitiveRelation	2022-08-22 18:08:46 +08:00
freshen.rs	Remove ReEmpty	2022-09-08 20:55:55 -04: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	separate definitions and HIR owners	2022-09-24 23:21:19 +09:00
opaque_types.rs	separate definitions and HIR owners	2022-09-24 23:21:19 +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	Comment, and bail early if bound vars list differs	2022-09-22 02:17:39 +00:00
type_variable.rs	Fix ICE in opt_suggest_box_span	2022-09-12 02:00:20 +00:00
undo_log.rs	Fix a bunch of typo	2022-08-31 18:24:55 +08:00