Function self_clause_for_item 

pub fn self_clause_for_item<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    def_id: DefId,
    generics: GenericArgsRef<'tcx>,
) -> Option<TraitProof<'tcx>>

Retrieve the Self: Trait clause for a trait associated item.