fn expect_dyn_trait_in_self(ty: Ty<'_>) -> PolyExistentialTraitRef<'_>
Expand description

This takes a valid self receiver type and extracts the principal trait ref of the type.