Core lint error with Template Haskell quotation and type lits

When I compile

{-# LANGUAGE TemplateHaskell, DataKinds #-}

ty = [t| 5 |]

I get

*** Core Lint errors : in result of Desugar (after optimization) ***
<no location info>: Warning:
    In the expression: Language.Haskell.TH.Lib.numTyLit
                         (GHC.Types.I# 5)
    Argument value doesn't match argument type:
    Fun type:
        GHC.Integer.Type.Integer -> Language.Haskell.TH.Lib.TyLitQ
    Arg type: GHC.Types.Int
    Arg: GHC.Types.I# 5
*** Offending Program ***
Main.ty :: Language.Haskell.TH.Lib.TypeQ
[LclIdX, Str=DmdType]
Main.ty =
  break<0>()
  Language.Haskell.TH.Lib.litT
    (Language.Haskell.TH.Lib.numTyLit (GHC.Types.I# 5))

*** End of Offense ***

I'm pretty sure I know what's going on. I will fix.

Trac metadata

Trac field	Value
Version	7.7
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Template Haskell
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture