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