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

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}

module T15778 where

f (x :: (Int :: a)) = True :: (Bool :: a)