Module vtable 

Re-exports

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use std::ops::ControlFlow; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_infer::traits::util::PredicateSet; 🔒

use rustc_middle::query::Providers; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::GenericArgs; 🔒

use rustc_middle::ty::GenericParamDefKind; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitableExt; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use rustc_middle::ty::Upcast; 🔒

use rustc_middle::ty::VtblEntry; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::bug; 🔒

use smallvec::SmallVec; 🔒

use smallvec::smallvec; 🔒

use tracing::debug; 🔒

use crate::traits::is_vtable_safe_method; 🔒

Enums

VtblSegment

Functions

first_method_vtable_slot 🔒

has_own_existential_vtable_entries 🔒

maybe_iter 🔒

Turns option of iterator into an iterator (this is just flatten)

own_existential_vtable_entries 🔒

own_existential_vtable_entries_iter 🔒

prepare_vtable_segments

Prepare the segments for a vtable

prepare_vtable_segments_inner 🔒

Helper for prepare_vtable_segments that returns ControlFlow, such that we can use ? in the body.

provide 🔒

supertrait_vtable_slot 🔒

Given a dyn Subtrait and dyn Supertrait trait object, find the slot of the trait vptr in the subtrait’s vtable.

vtable_entries 🔒

Given a trait trait_ref, iterates the vtable entries that come from trait_ref, including its supertraits.