T7827.hs\should_compile\typecheck\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/typecheck/should_compile/T7827.hs

blob: 230b890227bc4403cc90bec6eaa140132885c6ec (plain)

{-# LANGUAGE ScopedTypeVariables #-}
module T7827 where

bug :: a -> ()
bug ((_ :: a) :: a) = ()