RebindableSyntax demands `fail` even when bindings are exhaustive

Reproducing example:

{-# LANGUAGE RebindableSyntax #-}
import Prelude hiding (fail)
main = do
  () <- pure ()
  pure ()

fail-scope.hs:4:3: error:
    Not in scope: ‘fail’
    Perhaps you meant ‘tail’ (imported from Prelude)
    Perhaps you want to remove ‘fail’ from the explicit hiding list
    in the import of ‘Prelude’ (fail-scope.hs:2:1-28).
  |
4 |   () <- pure ()
  |

This causes basement to break on 8.8.1.