-- them change (#3589)

   }

 -- | The different source constructs that we use to instantiate the "original" field

 --   in an `XXExprGhcRn original expansion`

 --   See Note [Handling overloaded and rebindable constructs] in `GHC.Rename.Expr`

 data XXExprGhcRn

                     , xrn_expanded :: HsExpr GhcRn    -- The compiler generated expanded thing

                     }

   | ExpandedThingTc                         -- See Note [Rebindable syntax and XXExprGhcRn]

                                             -- See Note [Expanding HsDo with XXExprGhcRn] in `GHC.Tc.Gen.Do`

          , xtc_expanded :: HsExpr GhcTc }   -- The expanded typechecked expression

   | ConLikeTc      -- Result of typechecking a data-con

   :: HsExpr GhcRn           -- ^ source expression

   -> HsExpr GhcTc           -- ^ expanded typechecked expression

   -> HsExpr GhcTc           -- ^ suitably wrapped 'XXExprGhcRn'

 mkExpandedTc

   -> HsExpr GhcTc           -- ^ expanded typechecked expression

   -> HsExpr GhcTc           -- ^ suitably wrapped 'XXExprGhcRn'

 mkExpandedTc o e = XExpr (ExpandedThingTc o e)

   GhcRn -> ppr x

   GhcTc -> ppr x

   ppr thing

     = case thing of

         OrigExpr x    -> ppr_builder "<OrigExpr>:" x

 ppr_infix_expr_tc (HsBinTick {})             = Nothing

 ppr_infix_expr_tc (HsRecSelTc f)            = Just (pprInfixOcc f)

 ppr_infix_hs_expansion (OrigExpr e) = ppr_infix_expr e

 ppr_infix_hs_expansion _            = Nothing

     go_x_rn (PopErrCtxt a)               = hsExprNeedsParens prec a

     go_x_rn (HsRecSelRn{})               = False

     hsExpandedNeedsParens (OrigExpr e) = hsExprNeedsParens prec e

     hsExpandedNeedsParens _            = False

     go_x_rn (PopErrCtxt a)              = isAtomicHsExpr a

     go_x_rn (HsRecSelRn{})              = True

     isAtomicExpandedThingRn (OrigExpr e) = isAtomicHsExpr e

     isAtomicExpandedThingRn _            = False

 -- ---------------------------------------------------------------------

 deriving instance Data XXExprGhcRn

 deriving instance Data a => Data (WithUserRdr a)

                     ListComp -> Just $ BinBox QualBinBox

                     _        -> Nothing

 -- addTickHsExpanded o e = liftM (XExpr . ExpandedThingTc o) $ case o of

 --   -- We always want statements to get a tick, so we can step over each one.

 --   -- To avoid duplicates we blacklist SrcSpans we already inserted here.

 -- We've done special processing for TypeEq, KindEq, givens

 pprArising ct_loc

   | suppress_origin   = empty

   | otherwise         = pprCtOrigin orig

   where

     orig = ctLocOrigin ct_loc

     suppress_origin

       | isGivenOrigin orig = True

       | otherwise          = case orig of

 exprCtOrigin (HsForAll {})       = Shouldn'tHappenOrigin "forall telescope"    -- See Note [Types in terms]

 exprCtOrigin (HsQual {})         = Shouldn'tHappenOrigin "constraint context"  -- See Note [Types in terms]

 exprCtOrigin (HsFunArr {})       = Shouldn'tHappenOrigin "function arrow"      -- See Note [Types in terms]

 exprCtOrigin (XExpr (PopErrCtxt e)) = exprCtOrigin e

 exprCtOrigin (XExpr (HsRecSelRn f))  = OccurrenceOfRecSel (foExt f)

 srcCodeCtxtCtOrigin :: HsExpr GhcRn -> SrcCodeCtxt -> CtOrigin

 srcCodeCtxtCtOrigin e UserCode = exprCtOrigin e

 -- | Extract a suitable CtOrigin from a MatchGroup

 matchesCtOrigin :: MatchGroup GhcRn (LHsExpr GhcRn) -> CtOrigin

 -- | Mark the inner computation as being done inside generated code.

 --

 -- See Note [Error contexts in generated code]

 setSrcSpanA :: EpAnn ann -> TcRn a -> TcRn a

 setSrcSpanA l = setSrcSpan (locA l)