Jubilee 3957eaa459

Rollup merge of #136951 - compiler-errors:clause-binder, r=lqd ...

Use the right binder for rebinding `PolyTraitRef`

Fixes #136940

I committed a slightly different test which still demonstrates the issue.

2025-02-13 21:37:52 -08:00

..

query

Make DeeplyNormalize a real type op

2025-02-11 19:24:07 +00:00

select

Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity

2025-02-13 03:45:04 +00:00

specialize

Rename tcx.ensure() to tcx.ensure_ok()

2025-02-01 12:38:54 +11:00

auto_trait.rs

Move outlives env computation into methods

2025-01-28 18:55:03 +00:00

coherence.rs

Rustfmt

2025-02-08 22:12:13 +00:00

const_evaluatable.rs

introduce ty::Value

2025-01-30 17:47:44 +01:00

dyn_compatibility.rs

Remove unnecessary layout assertions for object-safe receivers

2025-02-04 01:50:31 +00:00

effects.rs

Implement const Destruct in old solver

2025-01-08 18:14:58 +00:00

engine.rs

Consolidate OutlivesEnv construction with resolve_regions

2025-01-28 18:55:03 +00:00

fulfill.rs

introduce ty::Value

2025-01-30 17:47:44 +01:00

misc.rs

Consolidate OutlivesEnv construction with resolve_regions

2025-01-28 18:55:03 +00:00

mod.rs

Rustfmt

2025-02-08 22:12:13 +00:00

normalize.rs

…

outlives_bounds.rs

Move outlives env computation into methods

2025-01-28 18:55:03 +00:00

project.rs

Rustfmt

2025-02-08 22:12:13 +00:00

structural_normalize.rs

Rename structurally_normalize to structurally_normalize_ty

2025-01-22 07:04:53 +00:00

util.rs

Use the right binder for rebinding PolyTraitRef

2025-02-12 23:55:12 +00:00

vtable.rs

Ensure that we never try to monomorphize the upcasting of impossible dyn types

2025-01-31 18:43:20 +00:00

wf.rs

Use BikeshedGuaranteedNotDrop in unsafe binder type WF too

2025-02-13 03:45:07 +00:00