Function is_self_ty 

fn is_self_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    assoc_item: &AssocItem,
    ty: Ty<'tcx>,
) -> bool

Returns true when ty denotes Self: either the generic Self param (ty.is_param(0)) or a type equal to the impl’s self type.