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