diff --git a/xml/System.Diagnostics.Contracts/PureAttribute.xml b/xml/System.Diagnostics.Contracts/PureAttribute.xml
index 97a1d1d1a83..efc4e1b15fc 100644
--- a/xml/System.Diagnostics.Contracts/PureAttribute.xml
+++ b/xml/System.Diagnostics.Contracts/PureAttribute.xml
@@ -56,7 +56,7 @@
       <format type="text/markdown"><![CDATA[  
   
 ## Remarks  
- Methods and types that are marked with this attribute can be used in calls to <xref:System.Diagnostics.Contracts.Contract?displayProperty=nameWithType> methods. Pure methods do not make any visible state changes. This attribute is not enforced by the current analysis tools; you should use this attribute only if you are sure that the methods are pure.  
+ Methods and types that are marked with this attribute can be used in calls to <xref:System.Diagnostics.Contracts.Contract?displayProperty=nameWithType> methods. Pure methods do not make any visible state changes. The [CA1806](/dotnet/fundamentals/code-analysis/quality-rules/ca1806) code analyzer checks for this attribute and emits a diagnostic when the return value of a pure method isn't used.  
   
  ]]></format>
     </remarks>