module Agda.ImpossibleTest where

import Agda.Utils.Impossible

impossibleTest :: a
impossibleTest :: a
impossibleTest = a
forall a. HasCallStack => a
__IMPOSSIBLE__