Investigate VN-based implied assertions

dotnet / runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

https://docs.microsoft.com/dotnet/core/

MIT License

15.45k stars 4.76k forks source link

Investigate VN-based implied assertions #108504

Open EgorBo opened 1 month ago

EgorBo commented 1 month ago

https://github.com/dotnet/runtime/pull/108420#discussion_r1785083832

It's possible that optImpliedByCopyAssertion and optValueNumToAsserts in general do not add any value, we need to either remove it or investigate why.

dotnet-policy-service[bot] commented 1 month ago

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch See info in area-owners.md if you want to be subscribed.