From 70b89859407a90c534501c90bbb84bac35919016 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 20 Oct 2025 22:24:38 +0000 Subject: [PATCH 1/2] Initial plan From d148ecb32448929058fe3f3e5adf863e4f270517 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 20 Oct 2025 22:29:28 +0000 Subject: [PATCH 2/2] Update PureAttribute docs to mention CA1806 analyzer enforcement Co-authored-by: gewarren <24882762+gewarren@users.noreply.github.com> --- xml/System.Diagnostics.Contracts/PureAttribute.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 @@ 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 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. ]]>