Function self_predicate 

pub fn self_predicate<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> Binder<TyCtxt<'tcx>, TraitRef<TyCtxt<'tcx>>>

The special “self” predicate on a trait.