Agda-2.3.2.2: test/fail/MissingWithClauses.agda

module MissingWithClauses where

data D : Set where
  c : D

f : D -> D
f c with c