rust/compiler/rustc_middle/src/query
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
..
arena_cached.rs Allow arena_cache queries to return Option<&'tcx T> 2025-01-23 13:25:37 +11:00
erase.rs update cfgs 2025-04-09 12:29:59 +01:00
keys.rs Move methods from Map to TyCtxt, part 5. 2025-04-02 10:00:46 +11:00
mod.rs Use a query rather than recomputing the tail repeatedly 2025-04-09 20:26:58 +00:00
on_disk_cache.rs hygiene: Avoid recursion in syntax context decoding 2025-04-03 00:18:04 +03:00
plumbing.rs Avoiding calling queries when collecting active queries 2025-03-26 09:36:36 +01:00