Issue291b.err

Failed to solve the following constraints:
  [0] Is empty: u ≡ runit (.Issue291b.♯-0 u)