Pavel Mikula

There's a PR ready, but it's blocked due to the Roslyn bug https://github.com/dotnet/roslyn/issues/67211 for now. It should get fixed after VS 17.5 servicing release. VS 17.5.3 has MsBuild 17.5.1 and...

Hi @jilles-sg, Thank you for the comment, it will surely help us reduce false positives. I can clearly see the point with the interpolation handler. Can you please elaborate a...

Maybe not instantiated inside as well... Does such a thing have a reason not to be sealed?

@Norvand Yes, it looks like the same root cause. Thank you for providing one more reproducer

This is by design. While we can have issues on 1st line, we cannot assert the location there. This is due to the way how concurrent analysis is validated. Because...

Related to https://trello.com/c/FBou1byB/1206-replace-dependabot-with-renovate Currently blocked

This should also solve this FN: ``` DeadStores lst; lst = new DeadStores // FN { Property = 42 }; lst = new DeadStores { Property = 42 }; lst.ToString();...

Addition: What about positive+negative? Is that intended to implicitly fall back to "we don't know" scenario?

We should be able to do multiplication for negative*negative too?

Why do the multiplication and division needs to work with constants only, and not positive/negative?