liquid-fixpoint-0.7.0.1: tests/pos/adt_dep_0.fq

data Zob 0 = [
  | boo { choo : int } 
]

data LL 0 = [
  | emp { }
  | con { lHead : Zob, lTail : LL }
]

constraint:
  env []
  lhs {v:int | true }
  rhs {v:int | emp = (if (1 < 2) then emp else emp) }
  id 1 tag []