[Agda] Record definition being in scope during type checking can cause Agda to hang

[Iain Lane]

Hi,

I just discovered that the recent change in 2.2.8 to have record
definitions in scope during type checking can cause Agda to hang. At
least, I think it's caused by this change.

Here's a small example.

   module playing where
   
   record Tailspin : Set where
     field
       Kaboom : Tailspin
   
   test : Tailspin
   test = ?
   
Is this already reported?

Cheers,
Iain