FAIL in (t-inhabited-random) (genus_test.clj:427)
FAIL in (t-inhabited-random) (genus_test.clj:427)
checking some randomly generated types for inhabited?
(and (not (member a b))
(and (not (or (= a)
(member [1 2 3] [1 2] [1] [])))
(or (and (satisfies decimal?)
(member a b))
(or (member a b c)
(member a b c a b c)))))
is not inhabited but its canonicalized form is (member a b c c)
expected: (not= true inh-2)
actual: (not (not= true true))