fn const_evaluatable_predicates_of( tcx: TyCtxt<'_>, def_id: LocalDefId, ) -> FxIndexSet<(Clause<'_>, Span)>