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