Agda-2.3.2.2: test/fail/DuplicateBuiltinBinding.agda

module DuplicateBuiltinBinding where

postulate Int : Set

{-# BUILTIN INTEGER Int #-}
{-# BUILTIN INTEGER Int #-}