bors 9d28fe3976 Auto merge of #139000 - compiler-errors:rigid-missing-item, r=lcnr ... Rigidly project missing item due to guaranteed impossible sized predicate This is a somewhat involved change, but it amounts to treating missing impl items due to guaranteed impossible where clauses (dyn/str/slice sized, cc #135480) as *rigid projections* rather than projecting to an error term, since that was preventing either reporting a proper error (in an empty param env) *or* successfully type checking the code (in the presence of trivially false where clauses). Fixes https://github.com/rust-lang/rust/issues/138970 r? `@lcnr` `@oli-obk`		2025-04-10 04:03:59 +00:00
..
solve	Make unnormalizable item ambiguous in coherence	2025-04-09 20:31:58 +00:00
canonicalizer.rs	Fold visit into ty	2025-03-15 06:34:36 +00:00
coherence.rs	Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType	2025-03-20 02:17:14 +00:00
delegate.rs	simplify Interner opaque types API	2025-04-01 23:24:28 +02:00
lib.rs	update cfgs	2025-04-09 12:29:59 +01:00
resolve.rs	Fold visit into ty	2025-03-15 06:34:36 +00:00