This needs to be fixed

[Max Samukha]

On Monday, 2 September 2024 at 14:35:56 UTC, Timon Gehr wrote:

> My frontend does not support this currently. It shouldn't be 
> too hard to add support for this kind of thing though, as the 
> general architecture of the code is set up to handle unusual 
> analysis order. I am currently a bit too strapped on time to 
> implement it, but will keep it in mind for when I possibly 
> continue development on the frontend.

Understood, thanks.