Agda-2.3.2.2: test/fail/NoBindingForBuiltin.agda

module NoBindingForBuiltin where

foo = 42