liquidhaskell-boot build error (WithUserRdr)

Occurred in https://gitlab.haskell.org/ghc/head.hackage/-/jobs/2165747

Errors seem to be caused by ghc@ecfec4df, cc @sheaf

src/Language/Haskell/Liquid/GHC/Misc.hs:1015:24: error: [GHC-83865]
    • Couldn't match type ‘GHC.Types.Name.Reader.WithUserRdr Name’
                     with ‘Name’
      Expected: Language.Haskell.Syntax.Extension.XRec
                  GhcRn (Language.Haskell.Syntax.Extension.IdOccP GhcRn)
        Actual: GenLocated GHC.Parser.Annotation.SrcSpanAnnN Name
    • In the first argument of ‘nameToTy’, namely ‘aName’
      In the expression: nameToTy aName
      In an equation for ‘aTy’: aTy = nameToTy aName
     |
1015 |     let aTy = nameToTy aName
     |                        ^^^^^

src/Language/Haskell/Liquid/GHC/Misc.hs:1025:43: error: [GHC-18872]
    • Couldn't match type ‘GHC.Types.Name.Reader.WithUserRdr Name’
                     with ‘Name’
        arising from a use of ‘intTy'’
    • In the second argument of ‘mkHsFunTy’, namely ‘intTy'’
      In the second argument of ‘($)’, namely
        ‘mkHsFunTy (listTy aTy) intTy'’
      In the second argument of ‘($)’, namely
        ‘HsForAllTy
           Ghc.noExtField
           (mkHsForAllInvisTele
              Ghc.noAnn
              [toLoc
                 $ Ghc.HsTvb
                     Ghc.noAnn Ghc.SpecifiedSpec (Ghc.HsBndrVar Ghc.noExtField aName)
                     (Ghc.HsBndrNoKind Ghc.noExtField)])
           $ mkHsFunTy (listTy aTy) intTy'’
     |
1025 |                ) $ mkHsFunTy (listTy aTy) intTy'
     |                                           ^^^^^^