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

..

traits

Rollup merge of #102016 - lcnr:given-OutlivesEnvironment, r=jackh726

2022-09-25 09:32:07 +02:00

autoderef.rs

Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1

2022-09-01 12:54:50 -05:00

errors.rs

rename Unevaluated to UnevaluatedConst

2022-09-23 14:27:34 +02:00

infer.rs

Point out when a callable is not actually callable because its return is not sized

2022-09-05 20:55:43 +00:00

lib.rs

Only enable the let_else feature on bootstrap

2022-09-15 21:06:45 +02:00