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

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