OperatorsExpr parsing blows up on large file #5670
Description
On Agda 2.6.2, Parsing.OperatorsExp as reported by -vprofile:7 takes 14 seconds on this 10k line file.
The file just repeats the same ~130 lines containing a Church-encoded simply-typed LC, but all top-level symbols are uniquely renamed each time. The 5k line version of the same thing parses in 0,5 seconds, so there's probably something funny going on.