path: root/testsuite/tests/ghc-api/annotations/Test17519.hs

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE UnicodeSyntax #-}
module Test17519 where

type family Proxy2' ∷ ∀ k → k → Type where
  Proxy2' = Proxy'