rust/compiler/rustc_trait_selection/src/traits
Matthias Krüger db23a76217
Rollup merge of #141811 - mejrs:bye_locals, r=compiler-errors
Unimplement unsized_locals

Implements https://github.com/rust-lang/compiler-team/issues/630

Tracking issue here: https://github.com/rust-lang/rust/issues/111942

Note that this just removes the feature, not the implementation, and does not touch `unsized_fn_params`. This is because it is required to support `Box<dyn FnOnce()>: FnOnce()`.

There may be more that should be removed (possibly in follow up prs)
- the `forget_unsized` function and `forget` intrinsic.
- the `unsized_locals` test directory; I've just fixed up the tests for now
- various codegen support for unsized values and allocas

cc ``@JakobDegen`` ``@oli-obk`` ``@Noratrieb`` ``@programmerjake`` ``@bjorn3``

``@rustbot`` label F-unsized_locals

Fixes rust-lang/rust#79409
2025-06-14 11:27:10 +02:00
..
query TypeVisiting binders no longer requires TypeFolding its interior 2025-06-13 17:54:45 +00:00
select Rollup merge of #141352 - lcnr:no-builtin-preference, r=compiler-errors 2025-06-13 20:59:15 -07:00
specialize Use less rustc_type_ir in the compiler codebase 2025-04-30 16:42:33 +02:00
auto_trait.rs Rename 2025-05-26 08:48:19 +00:00
coherence.rs clean code: remove Deref<Target=RegionKind> impl for Region and use .kind() 2025-04-08 10:51:41 +08:00
const_evaluatable.rs compiler: Use size_of from the prelude instead of imported 2025-03-07 13:37:04 -08:00
dyn_compatibility.rs Unimplement unsized_locals 2025-06-13 01:16:36 +02:00
effects.rs Replace some Option<Span> with Span and use DUMMY_SP instead of None 2025-06-05 14:14:59 +00:00
engine.rs eagerly check nested obligations when coercing fndefs 2025-05-21 11:09:48 +00:00
fulfill.rs Rename 2025-05-26 08:48:19 +00:00
misc.rs Replace some Option<Span> with Span and use DUMMY_SP instead of None 2025-06-05 14:14:59 +00:00
mod.rs Don't retry in pred_known_to_hold_modulo_regions in new solver, since new solver is more complete 2025-05-26 08:37:28 +00:00
normalize.rs FIXME(-Znext-solver) triage 2025-06-03 14:23:56 +02:00
outlives_bounds.rs Rename 2025-05-26 08:48:19 +00:00
project.rs Replace some Option<Span> with Span and use DUMMY_SP instead of None 2025-06-05 14:14:59 +00:00
structural_normalize.rs Unify normalization of terms in deeply normalize 2025-06-07 02:35:28 +00:00
util.rs Uplift BoundVarReplacer 2025-06-13 17:54:45 +00:00
vtable.rs Move has_self field to hir::AssocKind::Fn. 2025-04-14 16:13:04 +10:00
wf.rs Replace some Option<Span> with Span and use DUMMY_SP instead of None 2025-06-05 14:14:59 +00:00