Agda-2.3.2.2: test/fail/NothingAppliedToHiddenArg.agda

module NothingAppliedToHiddenArg where

bad = {x}