rust/compiler/rustc_trait_selection/src
Matthias Krüger b62f318a3b
Rollup merge of #136311 - compiler-errors:vtable-fixes-2, r=lcnr
Ensure that we never try to monomorphize the upcasting or vtable calls of impossible dyn types

Check for impossible obligations in the `dyn Trait` type we're trying to compute its the vtable upcasting and method call slots.

r? lcnr
2025-02-06 13:09:58 +01:00
..
error_reporting Make error message less awkward 2025-02-03 19:00:22 +00:00
errors introduce LateParamRegionKind 2024-12-18 16:05:44 +01:00
solve Pass spans around new solver 2025-02-05 18:32:06 +00:00
traits Rollup merge of #136311 - compiler-errors:vtable-fixes-2, r=lcnr 2025-02-06 13:09:58 +01:00
errors.rs Tweak fn pointer suggestion span 2025-02-02 00:46:02 +00:00
infer.rs Suggest Semicolon in Incorrect Repeat Expressions 2024-12-21 02:30:50 +00:00
lib.rs consistently handle global where-bounds 2024-12-17 08:50:47 +01:00
regions.rs Move param env bound deep normalization to OutlivesEnvironment building 2025-01-28 19:11:05 +00:00
solve.rs impossible obligations check fast path 2024-10-10 06:09:50 -04:00