// RUN: %testDafnyForEachResolver "%s"


module List {
  datatype t<A> = Nil | Cons(A, t<A>)
}

module Bug1 {
  import List

  function foo(x: List.t<char>, y: List.t<char>): List.t<char> {
    match (x, y)
      case (Cons(_, _), _) => List.Cons('-', List.Nil)
      case (Nil, _) => List.Nil
  }
}

