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