Core lint error on unlifted implicit parameter

Summary

Unlifted implicit parameters cannot (AFAICT) be used, but they can be bound.

This results in a core lint error.

Steps to reproduce

ghci> :set -dcore-lint -XMagicHash -XImplicitParams
ghci> let ?foo = 4# in 4
*** Core Lint errors : in result of desugar expression ***
<interactive>:4:1: warning:
    Bad axiom application (check_ki1 N:IP[0] <"foo">_N <Int#>_N
                                     TYPE 'IntRep
                                     a_aOq
                                     *)
      N:IP[0] <"foo">_N <Int#>_N
[...]
*** End of Offense ***

<no location info>: error:
Compilation had errors

Expected Behavior

This should throw a type error.

Environment

• GHC version used: GHC 9.8.1, HEAD

Optional:

• Operating System: Arch Linux on WSL2 on Windows 11
• System Architecture: x86_64