Metaprogramming utilities conjunction and disjunction do not short‑circuit, and column constraint…
Metaprogramming utilities conjunction and disjunction do not short‑circuit, and column constraint…: a task in LegoFlow-SWE (Harbor dataset). The internal metaprogramming utilities conjunction and disjunction (defined in the mpl namespace) evaluate all predicates eagerly, without short‑circuiting…
The task
The internal metaprogramming utilities `conjunction` and `disjunction` (defined in the `mpl` namespace) evaluate all predicates eagerly, without short‑circuiting. When a later predicate is ill‑formed for a given type, compilation fails even though an earlier predicate already determines the result.
Part of Lego-X/LegoFlow-SWE.