`Assertion `typeId() == 0 || dim() == d' failed.`

[LebedevRI]

On debian sid:

$ dpkg -l | grep -i minizinc
ii  minizinc                                      2.8.3+dfsg1-1                                                 amd64        constraint modelling language and tool chain
ii  minizinc-ide                                  2.8.2-1+b1                                                    amd64        MiniZinc constraint modelling language IDE

... which seems a bit older than the newest release, so maybe it's fixed already?

predicate p(array[$$E] of var bool: b) =
  let {
    var bool: zero = not exists(b);
  } in 
    true;

enum SWITCHES = _(1..2);
array[SWITCHES] of var bool: v;

constraint p(v);

unreduced

``` include "link_set_to_booleans.mzn"; predicate link_var_to_booleans(var $$E: s, array[$$E] of var bool: b) = link_set_to_booleans({s}, b); % There doesn't seem to be a way to write this in terms of `link_var_to_booleans`. predicate link_var_to_booleans_or_zero(var $$I: s, array[$$E] of var bool: b) = let { constraint assert(not(0 in index_set(b)), ""); constraint assert(({0}++index_set(b)) == lb(s)..ub(s), ""); var index_set(b): t; var bool: zero = not exists(b); } in forall(i in index_set(b))( b[i] == (i == s) ); int: NUM_SWITCHES = 2; enum SWITCHES = _(1..NUM_SWITCHES); enum FRAMES = _(1..3); array[FRAMES,SWITCHES] of var bool: SwitchDrivePowerEnable; array[FRAMES] of var 0..NUM_SWITCHES: SwitchDrivePowerEnableIndex; constraint forall (f in FRAMES)( link_var_to_booleans_or_zero(SwitchDrivePowerEnableIndex[f], SwitchDrivePowerEnable[f,..]) ); ```

minizinc: ./include/minizinc/type.hh:148: void MiniZinc::Type::dim(int): Assertion `typeId() == 0 || dim() == d' failed.

[guidotack]

Seems to be fixed in the latest release. I'm a bit surprised that you get an assertion failure, which suggests that this is a debug build of MiniZinc. Is this just the standard Debian package?

[LebedevRI]

Yes, i'm also surprised that a standard debian package is built in non-Release build mode.