path: root/testsuite/tests/th/T17820c.hs

{-# LANGUAGE TemplateHaskell #-}

module Main where

class C t where
  meth :: t ()

$( const mempty (meth :: forall t. C t => t ()) )