Function dyn_trait_in_self

fn dyn_trait_in_self<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'tcx>,
) -> Option<ExistentialTraitRef<'tcx>>

This takes a valid self receiver type and extracts the principal trait ref of the type. Return None if there is no principal trait.