testsuite/tests/typecheck/should_fail/T13677.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}
module T13677 where

import GHC.Exts (Constraint)

data Dict a where
  Dict :: a => Dict a

foo :: Dict (Int ~ Int) => Int
foo = undefined