module TcSimplify where

import GhcPrelude
import TcRnTypes  ( TcM, Cts )
import TcType ( TcSigmaType )

-- This boot file exists solely to make tcCheckHoleFit avaialble in TcErrors

tcCheckHoleFit :: Cts -> TcSigmaType -> TcSigmaType -> TcM Bool