Skip to main content

trait_object_ty

Function trait_object_ty 

Source
fn trait_object_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    poly_trait_ref: PolyTraitRef<'tcx>,
) -> Ty<'tcx>
Expand description

Returns the trait object type of a trait reference (i.e., a dyn Trait type with the trait as its principal trait, and the associated types of the trait and its supertraits as its projections), for self to be transformed into when performing type erasure.