Variable sized and fixed size allDiff breaks with non integers

[SaadAttieh]

find s : sequence (maxSize 5) of (int(1..5), int(1..5))
such that
allDiff([(i,j) | p <- sched, part <- p,i,j <- part, i < j])

Error: Expected an integer domain, but got: (int(1..5), int(1..5))

find s : sequence (size 5) of (int(1..5), int(1..5))

such that allDiff([i | (_,i) <- s])

Generating models for test.essence conjure: This should never happen, sorry!

However, it did happen, so it must be a bug. Please report it to us!

Conjure is actively maintained, we will get back to you as soon as possible. You can help us by providing a minimal failing example.

Also include the repository version for this build: ce73d3b98 (2020-10-23 08:43:31 +0100)

Issue tracker: http://github.com/conjure-cp/conjure/issues

Not refined: s_ExplicitBounded_Values Domain : matrix indexed by [int(1..5)] of (int(1..5), int(1..5)) Context #1: s_ExplicitBounded_Values[q3] Context #2: [s_ExplicitBounded_Values[q3] | q3 : int(1..5), q3 <= 5] Context #3: allDiff([s_ExplicitBounded_Values[q3] | q3 : int(1..5), q3 <= 5])

CallStack (from HasCallStack): error, called at src/Conjure/Bug.hs:21:15 in conjure-cp-2.3.0-GQDS46mwjojDWjiy4bYgFI:Conjure.Bug bug, called at src/Conjure/UI/Model.hs:1015:26 in conjure-cp-2.3.0-GQDS46mwjojDWjiy4bYgFI:Conjure.UI.Model