testsuite/tests/deSugar/should_compile/T2431.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE TypeOperators, GADTs, EmptyCase #-}
module T2431 where

data a :~: b where
  Refl :: a :~: a

absurd :: Int :~: Bool -> a
absurd x = case x of {}