trait_sel: `{Meta,Pointee}Sized` on `?Sized` types

2025-06-16T15:00:22+00:00

Expand the automatic implementation of `MetaSized` and `PointeeSized` so that it is also implemented on non-`Sized` types, just not `ty::Foreign` (extern type).

Move methods from `Map` to `TyCtxt`, part 5.

2025-04-01T23:00:46+00:00

This eliminates all methods on `Map`. Actually removing `Map` will occur in a follow-up PR.

Add `TyCtx::env_var_os`

2025-03-26T14:46:05+00:00

Along with `TyCtx::env_var` helper. These can be used to track environment variable accesses in the query system. Since `TyCtx::env_var_os` uses `OsStr`, this commit also adds the necessary trait implementations for that to work.

Only use implied bounds hack if bevy, and use deeply normalize in implied bounds hack

2025-03-04T18:18:48+00:00

Notes on types/traits used for in-memory query caching

2025-02-03T11:36:01+00:00

When the word "cache" appears in the context of the query system, it often isn't obvious whether that is referring to the in-memory query cache or the on-disk incremental cache. For these types, we can assure the reader that they are for in-memory caching.

Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnr

2025-01-31T04:09:11+00:00

Fix deduplication mismatches in vtables leading to upcasting unsoundness We currently have two cases where subtleties in supertraits can trigger disagreements in the vtable layout, e.g. leading to a different vtable layout being accessed at a callsite compared to what was prepared during unsizing. Namely: ### #135315 In this example, we were not normalizing supertraits when preparing vtables. In the example, ``` trait Supertrait { fn _print_numbers(&self, mem: &[usize; 100]) { println!("{mem:?}"); } } impl Supertrait for () {} trait Identity { type Selff; } impl Identity for Selff { type Selff = Selff; } trait Middle: Supertrait<()> + Supertrait { fn say_hello(&self, _: &usize) { println!("Hello!"); } } impl Middle for () {} trait Trait: Middle<<() as Identity>::Selff> {} impl Trait for () {} fn main() { (&() as &dyn Trait as &dyn Middle<()>).say_hello(&0); } ``` When we prepare `dyn Trait`, we see a supertrait of `Middle<<() as Identity>::Selff>`, which itself has two supertraits `Supertrait<()>` and `Supertrait<<() as Identity>::Selff>`. These two supertraits are identical, but they are not duplicated because we were using structural equality and *not* considering normalization. This leads to a vtable layout with two trait pointers. When we upcast to `dyn Middle<()>`, those two supertraits are now the same, leading to a vtable layout with only one trait pointer. This leads to an offset error, and we call the wrong method. ### #135316 This one is a bit more interesting, and is the bulk of the changes in this PR. It's a bit similar, except it uses binder equality instead of normalization to make the compiler get confused about two vtable layouts. In the example, ``` trait Supertrait { fn _print_numbers(&self, mem: &[usize; 100]) { println!("{mem:?}"); } } impl Supertrait for () {} trait Trait: Supertrait + Supertrait { fn say_hello(&self, _: &usize) { println!("Hello!"); } } impl Trait for () {} fn main() { (&() as &'static dyn for<'a> Trait<&'static (), &'a ()> as &'static dyn Trait<&'static (), &'static ()>) .say_hello(&0); } ``` When we prepare the vtable for `dyn for<'a> Trait<&'static (), &'a ()>`, we currently consider the PolyTraitRef of the vtable as the key for a supertrait. This leads two two supertraits -- `Supertrait<&'static ()>` and `for<'a> Supertrait<&'a ()>`. However, we can upcast[^up] without offsetting the vtable from `dyn for<'a> Trait<&'static (), &'a ()>` to `dyn Trait<&'static (), &'static ()>`. This is just instantiating the principal trait ref for a specific `'a = 'static`. However, when considering those supertraits, we now have only one distinct supertrait -- `Supertrait<&'static ()>` (which is deduplicated since there are two supertraits with the same substitutions). This leads to similar offsetting issues, leading to the wrong method being called. [^up]: I say upcast but this is a cast that is allowed on stable, since it's not changing the vtable at all, just instantiating the binder of the principal trait ref for some lifetime. The solution here is to recognize that a vtable isn't really meaningfully higher ranked, and to just treat a vtable as corresponding to a `TraitRef` so we can do this deduplication more faithfully. That is to say, the vtable for `dyn for<'a> Tr<'a>` and `dyn Tr<'x>` are always identical, since they both would correspond to a set of free regions on an impl... Do note that `Tr fn(&'a ())>` and `Tr` are still distinct. ---- There's a bit more that can be cleaned up. In codegen, we can stop using `PolyExistentialTraitRef` basically everywhere. We can also fix SMIR to stop storing `PolyExistentialTraitRef` in its vtable allocations. As for testing, it's difficult to actually turn this into something that can be tested with `rustc_dump_vtable`, since having multiple supertraits that are identical is a recipe for ambiguity errors. Maybe someone else is more creative with getting that attr to work, since the tests I added being run-pass tests is a bit unsatisfying. Miri also doesn't help here, since it doesn't really generate vtables that are offset by an index in the same way as codegen. r? `@lcnr` for the vibe check? Or reassign, idk. Maybe let's talk about whether this makes sense. ^{(I guess an alternative would also be to not do any deduplication of vtable supertraits (or only a really conservative subset) rather than trying to normalize and deduplicate more faithfully here. Not sure if that works and is sufficient tho.)} cc `@steffahn` -- ty for the minimizations cc `@WaffleLapkin` -- since you're overseeing the feature stabilization :3 Fixes #135315 Fixes #135316

rust/compiler/rustc_middle/src/query/keys.rs, branch cargo_update

trait_sel: `{Meta,Pointee}Sized` on `?Sized` types

Move methods from `Map` to `TyCtxt`, part 5.

Add `TyCtx::env_var_os`

Only use implied bounds hack if bevy, and use deeply normalize in implied bounds hack

Notes on types/traits used for in-memory query caching

Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnr

introduce `ty::Value`

Do not treat vtable supertraits as distinct when bound with different bound vars

Re-export more `rustc_span::symbol` things from `rustc_span`.

Rename ty_def_id so people will stop using it by accident