Agda-2.3.2.2: test/bugs/ImpossiblePattern.agda

module ImpossiblePattern where

f : ?
f (_ _) = ?