Hole-fit suggestions don't include implicit parameters

If I have this program:

{-# LANGUAGE ImplicitParams #-}

f :: (?x :: Int) => Int
f = _

GHC will produce these hole-fit suggestions:

$ ghc-9.2 Bug.hs
[1 of 1] Compiling Main             ( Bug.hs, Bug.o )

Bug.hs:4:5: error:
    • Found hole: _ :: Int
    • In an equation for ‘f’: f = _
    • Relevant bindings include f :: Int (bound at Bug.hs:4:1)
      Constraints include ?x::Int (from Bug.hs:3:1-23)
      Valid hole fits include
        f :: Int (bound at Bug.hs:4:1)
        maxBound :: forall a. Bounded a => a
          with maxBound @Int
          (imported from ‘Prelude’ at Bug.hs:1:1
           (and originally defined in ‘GHC.Enum’))
        minBound :: forall a. Bounded a => a
          with minBound @Int
          (imported from ‘Prelude’ at Bug.hs:1:1
           (and originally defined in ‘GHC.Enum’))
  |
4 | f = _
  |     ^

I would have expected ?x to appear in the Valid hole fits include section.