agda / agda

Lines 1 to 3 in cc78a51

    
           Issue5468.agda:33,7-12 
        
           This clause has target type A which is not usable at the required 
        
           modality @ω.

The correct range would be 33,1-12.
Currently, attention is directed to a pattern which is not actually the cause of the error.

	Issue5468.agda:33,7-12
	This clause has target type A which is not usable at the required
	modality @ω.

Error "This clause has target type ... which is not usable" highlights pattern instead of clause