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