Annotations to declare the contracts in your code that support enhanced static analysis. This includes all the JetBrains.Annotations understood by any published version of ReSharper.
See the version list below for details.
Install-Package Contract.Annotations -Version 8.2.0
dotnet add package Contract.Annotations --version 8.2.0
<PackageReference Include="Contract.Annotations" Version="8.2.0" />
paket add Contract.Annotations --version 8.2.0
Supports all attributes known by ReSharper up to 8.2, plus some non-ReSharper annotations.
This package has no dependencies.