Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fuzzy arrow / dynamic as bottom is a hint, but should be a warning #31874
We stumbled over the
Shouldn't this at least be a warning?
It might be worth making this a warning, if we can do so without breaking the internal builds (we're currently working on eliminating the hint internally). Making it a warning earlier might help us avoid accidental regressions. I'll look into it.
In the meantime if you want to protect against this, you can put the following in your analysis options file: