Agda-2.3.2.2: test/fail/WrongHidingInLambda.agda

module WrongHidingInLambda where

f : (A : Set) -> A -> A
f = \{A} x -> x