liquid-fixpoint-8.10.7: tests/neg/literals.fq
// adapted from LH test Strings.hs
constant lit#bar : (Str)
constant lit#foo : (Str)
constraint:
env []
lhs {VV#F1 : int | []}
rhs {VV#F1 : int | [(lit#bar = lit#foo)]}
id 1 tag [6]
// adapted from LH test Strings.hs
constant lit#bar : (Str)
constant lit#foo : (Str)
constraint:
env []
lhs {VV#F1 : int | []}
rhs {VV#F1 : int | [(lit#bar = lit#foo)]}
id 1 tag [6]