Core Lint issues during slowtest

I'm am seeing Core Lint failurse from the T5626 test,

*** Core Lint errors : in result of Simplifier ***                                                                                                                                   
<no location info>: warning:                                                                                                                                                         
    [RHS of go_s54c :: [Int] -> (Int, Int, Int, Int)]                                                                                                                                
    idArity 2 exceeds typeArity 1: go_s54c  

The relevant bits of the program are,

Rec {                                                                                                                                                                                
go_s54c [Occ=LoopBreaker] :: [Int] -> (Int, Int, Int, Int)                                                                                                                           
[LclId,                                                                                                                                                                              
 Arity=2,                                                                                                                                                                            
 CallArity=2,                                                                                                                                                                        
 Str=<B,U>b,                                                 
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,          
         WorkFree=True, Expandable=True, Guidance=NEVER}]              
go_s54c                                                                        
  = \ (ds_X35o :: [Int]) ->                                      
      case ds_X35o of {                                        
        [] -> case lvl_s4Vm of wild_00 { };      
        : y_a34y [Dmd=<B,A>] ys_a34z [Dmd=<B,U>] -> go_s54c ys_a34z
      }                                                            
end Rec }                

lvl_s54d :: (Int, Int, Int, Int)                                                  
[LclId,                                                             
 Arity=1,                                                         
 Str=x,                                                             
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=NEVER}]           
lvl_s54d = go_s54c ([] @ Int)      

Trac metadata

Trac field	Value
Version	8.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	high
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture