GHC internal error on erroneous program with recursive TLKSs

I don't expect this program to typecheck:

{-# LANGUAGE TopLevelKindSignatures #-}
module Bug where

import Data.Kind

type T1 :: T2
data T1

type T2 :: T1
data T2

But I definitely don't expect it to give me this error:

[1 of 1] Compiling Bug              ( ../Bug.hs, ../Bug.o )

../Bug.hs:9:12: error:
    • GHC internal error: ‘T1’ is not in scope during type checking, but it passed the renamer
      tcl_env of environment: []
    • In a top-level kind signature for ‘T2’: T1
  |
9 | type T2 :: T1
  |            ^^