Agda-2.3.2.2: test/fail/NoSuchBuiltinName.agda

module NoSuchBuiltinName where

postulate X : Set

{-# BUILTIN FOOBAR X #-}