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