, hugRulesBelow

    , hugInstancesBelow

    , hugAnnsBelow

     -- * Legacy API

    , hscUpdateHPT

 import GHC.Core.Rules

 import GHC.Types.Annotations

 import GHC.Core.InstEnv

 import GHC.Core.FamInstEnv

 import GHC.Builtin.Names

 hugAnnsBelow hsc uid mn = foldr (flip extendAnnEnvList) emptyAnnEnv <$>

   hugSomeThingsBelowUs (md_anns . hm_details) False hsc uid mn

 -- | Find instances visible from the given set of imports

 hugInstancesBelow :: HscEnv -> UnitId -> ModuleNameWithIsBoot -> IO (InstEnv, [FamInst])

 hugInstancesBelow hsc_env uid mnwib = do

              ptc = initPromotionTickContext (hsc_dflags hsc_env)

              -- re-use existing next_wrapper_num to ensure uniqueness

              next_wrapper_num_var = tcg_next_wrapper_num tcg_env

        ; ds_complete_matches <-

            liftIO $ unsafeInterleaveIO $

              -- This call to 'unsafeInterleaveIO' ensures we only do this work

              -- when we need to look at the COMPLETE pragmas, avoiding doing work

              -- when we don't need them.

              -- Relevant test case: MultiLayerModulesTH_Make, which regresses

              -- in allocations by ~5% if we don't do this.

            traverse (lookupCompleteMatch type_env hsc_env) =<<

        ; return $ mkDsEnvs unit_env this_mod rdr_env type_env fam_inst_env ptc

                            msg_var cc_st_var next_wrapper_num_var ds_complete_matches

        }

              bindsToIds (Rec    binds) = map fst binds

              ids = concatMap bindsToIds binds

        ; ds_complete_matches <- traverse (lookupCompleteMatch type_env hsc_env) =<<

        ; let

              envs  = mkDsEnvs unit_env this_mod rdr_env type_env

                               fam_inst_env ptc msg_var cc_st_var

        -- Update the TcGblEnv with renamed COMPLETE pragmas from the current

        -- module, for pattern irrefutability checking in do notation.

        ; let localCompletePrags = localCompletePragmas sigs'

     do { binds_w_dus <- mapM (rnLBind (mkScopedTvFn sigs')) mbinds

        ; let !(anal_binds, anal_dus) = depAnalBinds binds_w_dus

        -- Update the TcGblEnv with renamed COMPLETE pragmas from the current

        -- module, for pattern irrefutability checking in do notation.

     do {

        -- Rename the bindings RHSs.  Again there's an issue about whether the

        -- type variables from the class/instance head are in scope.

    last_tcg_env0 <- getGblEnv ;

    let { last_tcg_env =

             last_tcg_env0

        } ;

    -- (I) Compute the results and return

    let {rn_group = HsGroup { hs_ext     = noExtField,

 import GHC.Driver.Plugins

 import GHC.Driver.DynFlags

 import GHC.Driver.Config.Diagnostic

 import GHC.Tc.Errors.Hole.Plugin ( HoleFitPluginR (..) )

 import GHC.Tc.Errors.Types

               ; (home_insts, home_fam_insts) <- liftIO $

                     hugInstancesBelow hsc_env unitId mnwib

                 -- Record boot-file info in the EPS, so that it's

                 -- visible to loadHiBootInterface in tcRnSrcDecls,

                 -- and any other incrementally-performed imports

             gbl {

               tcg_rdr_env      = tcg_rdr_env gbl `plusGlobalRdrEnv` rdr_env,

               tcg_imports      = tcg_imports gbl `plusImportAvails` imports,

               tcg_import_decls = imp_user_spec,

               tcg_rn_imports   = rn_imports,

               tcg_default      = foldMap subsume tc_defaults,

         tcg_fam_inst_env :: !FamInstEnv, -- ^ Ditto for family instances

           -- NB. BangPattern is to fix a leak, see #15111

         tcg_ann_env      :: AnnEnv,     -- ^ And for annotations

                 -- Now a bunch of things about this module that are simply

                 -- accumulated, but never consulted until the end.

           -- ^ Wanted constraints of static forms.

         -- See Note [Constraints in static forms].

         tcg_complete_matches :: !CompleteMatches,

         tcg_cc_st   :: TcRef CostCentreState,

         tcg_next_wrapper_num :: TcRef (ModuleEnv Int)

         -- ^ See Note [Generating fresh names for FFI wrappers]

                 tcg_inst_env       = emptyInstEnv,

                 tcg_fam_inst_env   = emptyFamInstEnv,

                 tcg_ann_env        = emptyAnnEnv,

                 tcg_th_used        = th_var,

                 tcg_th_needed_deps = th_needed_deps_var,

                 tcg_exports        = [],

 getCompleteMatchesTcM :: TcM CompleteMatches

 getCompleteMatchesTcM

   = do { hsc_env <- getTopEnv

        ; eps <- liftIO $ hscEPS hsc_env

        }

   return $