bors 19ca5692f6 Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726 ... do not allow inference in `predicate_must_hold` (alternative approach) See the FCP description for more info, but tl;dr is that we should not return `EvaluatedToOkModuloRegions` if an obligation may hold only with some choice of inference vars being constrained. Attempts to solve this in the approach laid out by lcnr here: https://github.com/rust-lang/rust/pull/109558#discussion_r1147318134, rather than by eagerly replacing infer vars with placeholders which is a bit too restrictive. r? `@ghost`		2023-05-19 03:36:37 +00:00
..
error_reporting	Handle error body when in generator layout	2023-05-13 16:45:19 +01:00
query	IAT: Introduce AliasKind::Inherent	2023-05-04 16:59:10 +02:00
select	Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726	2023-05-19 03:36:37 +00:00
specialize	Report nicer lifetime errors for specialization	2023-05-05 22:19:56 +01:00
auto_trait.rs	Suppress "erroneous constant used" for constants tainted by errors	2023-05-15 00:00:00 +00:00
chalk_fulfill.rs	Report overflows gracefully with new solver	2023-04-10 16:36:30 +00:00
coherence.rs	Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors	2023-05-09 12:33:46 +05:30
const_evaluatable.rs	Suppress "erroneous constant used" for constants tainted by errors	2023-05-15 00:00:00 +00:00
engine.rs	Replace tcx.mk_trait_ref with ty::TraitRef::new	2023-04-25 16:12:44 +00:00
fulfill.rs	Suppress "erroneous constant used" for constants tainted by errors	2023-05-15 00:00:00 +00:00
misc.rs	Impl StructuralEq & ConstParamTy for str, &T, [T; N] and [T]	2023-04-27 15:59:07 +00:00
mod.rs	Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726	2023-05-19 03:36:37 +00:00
object_safety.rs	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
outlives_bounds.rs	rename needs_infer to has_infer	2023-04-27 08:35:19 +01:00
project.rs	Rollup merge of #111695 - fmease:dont-lump-together-alias-tys, r=compiler-errors	2023-05-18 17:37:09 +05:30
structural_match.rs	Remove type-traversal trait aliases	2023-02-22 17:04:58 +00:00
util.rs	Report nicer lifetime errors for specialization	2023-05-05 22:19:56 +01:00
vtable.rs	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
wf.rs	IAT: Proper WF computation	2023-05-04 17:00:33 +02:00