Open
Description
Hi,
first thanks for this awesome tool set!
Was just fooled by the analyzer before I understood what happened I have this function here
On my way to convert this to a non async method I deleted the first await
and then the async
and suddenly got this:
And was pretty confused why suddenly backend
was no longer defined. I had to delete the second await
before the analyzer would recognize backend
again.
Cheers
Thomas
Metadata
Metadata
Assignees
Labels
A lower priority bug or feature requestFor issues related to conformance to the language spec in the parser, compilers or the CLI analyzer.Contributions welcome to help resolve this (the resolution is expected to be clear from the issue)Incorrect behavior (everything from a crash to more subtle misbehavior)