Re: [GHC] #15442: GhcStage3HcOpts passed to ghc-stage1