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.
Install-Package Contract.Annotations -Version 8.2.1
dotnet add package Contract.Annotations --version 8.2.1
<PackageReference Include="Contract.Annotations" Version="8.2.1" />
paket add Contract.Annotations --version 8.2.1
Supports all attributes known by ReSharper up to 8.2, plus some non-ReSharper annotations.
This package has no dependencies.