title: Is there a common PureAttribute that ReSharper and Code Contracts can both use?
body: <p>I'm writing in C# with ReSharper 8.0 and VS2012 for .NET 4.0.</p>
  <p>ReSharper includes an attribute: <a href="https://www.jetbrains.com/help/resharper/Reference__Code_Annotation_Attributes.html#PureAttribute" rel="nofollow noreferrer">JetBrains.Annotations.PureAttribute</a>. This is used to provide the inspection &quot;Return value of Pure method is not used&quot;.</p>
  <p>Code Contracts includes an attribute: <a href="https://docs.microsoft.com/en-us/dotnet/api/system.diagnostics.contracts.pureattribute" rel="nofollow noreferrer">System.Diagnostics.Contracts.PureAttribute</a>. This is used by the code contract checking to ensure that the call will produce no visible state changes, and therefore will not require re-checking the object's state.</p>
  <p>Currently, to get the functionality of both of these tools, methods need to be annotated with attribute from each. Worse, because they both share the same type name, you need to qualify each attribute.</p>
  <pre><code>[Pure]
  [Jetbrains.Annotations.Pure]
  public bool isFinished() {
      ...
  </code></pre>
  <p>To avoid this situation, there should be three approaches:</p>
  <ol>
  <li>write a placeholder recognized by both ReSharper and Contracts</li>
  <li>get ReSharper to recognize the Contracts attribute</li>
  <li>get Contracts to recognize the ReSharper attribute</li>
  </ol>
  <p>Are any of these possible?</p>