bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

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

Browse source
This commit is contained in:
Michael Goulet 2025-01-18 05:36:22 +00:00
parent 7f36543a48
commit 0a8b81eb4e
2 changed files with 47 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

26
compiler/rustc_trait_selection/src/traits/vtable.rs
View file

@ -318,9 +318,17 @@ pub(crate) fn first_method_vtable_slot<'tcx>(tcx: TyCtxt<'tcx>, key: ty::TraitRe
bug!();
};
let source_principal = tcx.instantiate_bound_regions_with_erased(
source.principal().unwrap().with_self_ty(tcx, tcx.types.trait_object_dummy_self),
source.principal().unwrap().with_self_ty(tcx, key.self_ty()),
);
// We're monomorphizing a call to a dyn trait object that can never be constructed.
if tcx.instantiate_and_check_impossible_predicates((
source_principal.def_id,
source_principal.args,
)) {
return 0;
}
let target_principal = ty::ExistentialTraitRef::erase_self_ty(tcx, key);
let vtable_segment_callback = {
@ -373,19 +381,27 @@ pub(crate) fn supertrait_vtable_slot<'tcx>(
let (source, target) = key;
// If the target principal is `None`, we can just return `None`.
let ty::Dynamic(target, _, _) = *target.kind() else {
let ty::Dynamic(target_data, _, _) = *target.kind() else {
bug!();
};
let target_principal = tcx.instantiate_bound_regions_with_erased(target.principal()?);
let target_principal = tcx.instantiate_bound_regions_with_erased(target_data.principal()?);
// Given that we have a target principal, it is a bug for there not to be a source principal.
let ty::Dynamic(source, _, _) = *source.kind() else {
let ty::Dynamic(source_data, _, _) = *source.kind() else {
bug!();
};
let source_principal = tcx.instantiate_bound_regions_with_erased(
source.principal().unwrap().with_self_ty(tcx, tcx.types.trait_object_dummy_self),
source_data.principal().unwrap().with_self_ty(tcx, source),
);
// We're monomorphizing a dyn trait object upcast that can never be constructed.
if tcx.instantiate_and_check_impossible_predicates((
source_principal.def_id,
source_principal.args,
)) {
return None;
}
let vtable_segment_callback = {
let mut vptr_offset = 0;
move |segment| {