// RUN: %dafny /compile:0 "%s" > "%t"
// RUN: %diff "%s.expect" "%t"

datatype A = A0
datatype B = B0

function F(a: A, b: B): int
{
  match (a, b)
  case (A0, B0) => 0
}

method M(a: A, b: B)
{
  match (a, b)
  case (A0, B0) =>
}