fn predicate_references_self<'tcx>( tcx: TyCtxt<'tcx>, (predicate, sp): (Predicate<'tcx>, Span)) -> Option<Span>