[BUG] Constraint solver failure with bloat constraint

[manopapad]

Originally reported by @elliotslaughter.

The following program:

import numpy as np
import cupynumeric as cn

from legate.core import bloat
from legate.core.task import task, InputStore

@task(
    constraints=(bloat("a", "bloated", (0,), (1,)),)
)
def foo(a: InputStore, bloated: InputStore) -> None:
    pass

a = cn.arange(10)
foo(a, a)

fails with:

(b/env) iblis:~/b/legate> legate c.py
LEGATE ERROR: ================================================================================
LEGATE ERROR: System: Linux, 6.8.0-52-generic, iblis, #53~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Wed Jan 15 19:18:46 UTC 2, x86_64
LEGATE ERROR: Legate version: 25.3.0 (efe92b56f6494dbd39f9c61e85cd956bad9ea8cd)
LEGATE ERROR: Legion version: 25.3.0 (a76cc2655c13b0a9a8f0be855af9625a724ba406)
LEGATE ERROR: Configure options: --with-python --build-type=debug --with-tests --with-legion-src-dir ../legion --with-openmp --with-cuda --with-ucx
LEGATE ERROR: Exception stack contains 1 exception(s) (bottom-most exception first):
LEGATE ERROR:
LEGATE ERROR: #0 Legate called abort at /home/mpapadakis/b/legate/src/cpp/legate/partitioning/detail/partitioner.cc:158 in operator[]()
LEGATE ERROR: #0 assertion failed: has_assignment(partition_symbol)
LEGATE ERROR: Stack trace (most recent call first):
LEGATE ERROR: #0  0x00007a182d132ee7 in void legate::detail::abort_handler_tpl<char const (&) [51]>(std::basic_string_view<char, std::char_traits<char> >, std::basic_string_view<char, std::char_traits<char> >, int, char const (&) [51]) at /home/mpapadakis/b/legate/src/cpp/legate/utilities/abort.h:57:32
LEGATE ERROR: #1  0x00007a182d53c352 in legate::detail::Strategy::operator[](legate::detail::Variable const*) const at /home/mpapadakis/b/legate/src/cpp/legate/partitioning/detail/partitioner.cc:158:3
LEGATE ERROR: #2  0x00007a182d4fdd87 in legate::detail::BloatConstraint::resolve(legate::detail::Strategy const&) const at /home/mpapadakis/b/legate/src/cpp/legate/partitioning/detail/constraint.cc:206:31
LEGATE ERROR: #3  0x00007a182d50daf8 in operator() at /home/mpapadakis/b/legate/src/cpp/legate/partitioning/detail/constraint_solver.cc:229:54
LEGATE ERROR: #4  0x00007a182d50dc89 in legate::detail::ConstraintSolver::solve_dependent_constraints(legate::detail::Strategy&) at /home/mpapadakis/b/legate/src/cpp/legate/partitioning/detail/constraint_solver.cc:244:31
LEGATE ERROR: #5  0x00007a182d53d662 in legate::detail::Partitioner::partition_stores() at /home/mpapadakis/b/legate/src/cpp/legate/partitioning/detail/partitioner.cc:288:37
LEGATE ERROR: #6  0x00007a182d64e030 in legate::detail::Runtime::schedule_(std::vector<legate::InternalSharedPtr<legate::detail::Operation>, std::allocator<legate::InternalSharedPtr<legate::detail::Operation> > >&&) at /home/mpapadakis/b/legate/src/cpp/legate/runtime/detail/runtime.cc:613:70
LEGATE ERROR: #7  0x00007a182d64db5b in legate::detail::Runtime::flush_scheduling_window() at /home/mpapadakis/b/legate/src/cpp/legate/runtime/detail/runtime.cc:562:12
LEGATE ERROR: #8  0x00007a182d64dd78 in legate::detail::Runtime::submit(legate::InternalSharedPtr<legate::detail::Operation>) at /home/mpapadakis/b/legate/src/cpp/legate/runtime/detail/runtime.cc:584:28
LEGATE ERROR: #9  0x00007a182d5d0d2a in legate::Runtime::submit(legate::AutoTask&&) at /home/mpapadakis/b/legate/src/cpp/legate/runtime/runtime.cc:192:16
LEGATE ERROR: #10 0x00007a1812991c76 in __pyx_f_6legate_4core_4_lib_7runtime_7runtime_7Runtime_submit at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_lib/runtime/runtime.cxx:14802:46
LEGATE ERROR: #11 0x00007a1814d20060 in __pyx_f_6legate_4core_4_lib_9operation_4task_8AutoTask_execute at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_lib/operation/task.cxx:10793:175
LEGATE ERROR: #12 0x00007a1814d202a8 in __pyx_pf_6legate_4core_4_lib_9operation_4task_8AutoTask_26execute at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_lib/operation/task.cxx:10867:65
LEGATE ERROR: #13 0x00007a1814d2024b in __pyx_pw_6legate_4core_4_lib_9operation_4task_8AutoTask_27execute at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_lib/operation/task.cxx:10851:78
LEGATE ERROR: #14 0x00007a1814d464a0 in __Pyx_CyFunction_Vectorcall_FASTCALL_KEYWORDS at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_lib/operation/task.cxx:23011:76
LEGATE ERROR: #15 0x00007a18092d9d3e in __Pyx_PyObject_FastCallDict at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_ext/task/py_task.cxx:13442:21
LEGATE ERROR: #16 0x00007a18092c3e78 in __pyx_pf_6legate_4core_4_ext_4task_7py_task_6PyTask_4__call__ at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_ext/task/py_task.cxx:8187:17
LEGATE ERROR: #17 0x00007a18092c38ba in __pyx_pw_6legate_4core_4_ext_4task_7py_task_6PyTask_5__call__ at /home/mpapadakis/b/legate/arch-legate/skbuild_core/python/legate/core/_ext/task/py_task.cxx:8131:74
LEGATE ERROR: #18 0x00005d24d97a875a in _PyObject_MakeTpCall at /usr/local/src/conda/python-3.12.8/Objects/call.c:240:18
LEGATE ERROR: #19 0x00005d24d96b66a0 in _PyEval_EvalFrameDefault at /home/conda/feedstock_root/build_artifacts/python-split_1733407224341/work/build-static/Python/bytecodes.c:2715:19
LEGATE ERROR: #20 0x00005d24d985e740 in PyEval_EvalCode at /usr/local/src/conda/python-3.12.8/Python/ceval.c:578:21
LEGATE ERROR: #21 0x00005d24d9882f19 in run_eval_code_obj at /usr/local/src/conda/python-3.12.8/Python/pythonrun.c:1722:0
LEGATE ERROR: #22 0x00005d24d987dd34 in run_mod at /usr/local/src/conda/python-3.12.8/Python/pythonrun.c:1743:0
LEGATE ERROR: #23 0x00005d24d989677f in pyrun_file at /usr/local/src/conda/python-3.12.8/Python/pythonrun.c:1643:0
LEGATE ERROR: #24 0x00005d24d9895dfd in _PyRun_SimpleFileObject at /usr/local/src/conda/python-3.12.8/Python/pythonrun.c:433:0
LEGATE ERROR: #25 0x00005d24d9895ac3 in _PyRun_AnyFileObject at /usr/local/src/conda/python-3.12.8/Python/pythonrun.c:78:0
LEGATE ERROR: #26 (inlined)          in pymain_run_file_obj at /usr/local/src/conda/python-3.12.8/Modules/main.c:360:0
LEGATE ERROR: #27 (inlined)          in pymain_run_file at /usr/local/src/conda/python-3.12.8/Modules/main.c:379:0
LEGATE ERROR: #28 (inlined)          in pymain_run_python at /usr/local/src/conda/python-3.12.8/Modules/main.c:633:0
LEGATE ERROR: #29 0x00005d24d988edfd in Py_RunMain at /usr/local/src/conda/python-3.12.8/Modules/main.c:713:0
LEGATE ERROR: #30 0x00005d24d98490c6 in Py_BytesMain at /usr/local/src/conda/python-3.12.8/Modules/main.c:767:12
LEGATE ERROR: #31 0x00007a183a029d8f in __libc_start_call_main at ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
LEGATE ERROR: #32 0x00007a183a029e3f in __libc_start_main_impl at ./csu/../csu/libc-start.c:392:3
LEGATE ERROR: #33 0x00005d24d9848f70 at /home/mpapadakis/b/env/bin/python3.12
LEGATE ERROR: ================================================================================