Cleanup CodeContracts annotations (#26324)

2 files changed, 0 insertions, 27 deletions

diff --git a/src/System.Private.Xml/src/System.Private.Xml.csproj b/src/System.Private.Xml/src/System.Private.Xml.csproj
index ca4b855122..bff32c8149 100644
--- a/src/System.Private.Xml/src/System.Private.Xml.csproj
+++ b/src/System.Private.Xml/src/System.Private.Xml.csproj
@@ -518,7 +518,6 @@
     <Reference Include="System.Collections.NonGeneric" />
     <Reference Include="System.Collections.Specialized" />
     <Reference Include="System.Console" />
-    <Reference Include="System.Diagnostics.Contracts" />
     <Reference Include="System.Diagnostics.Debug" />
     <Reference Include="System.Diagnostics.Tools" />
     <Reference Include="System.Diagnostics.TraceSource" />
diff --git a/src/System.Private.Xml/src/System/Xml/XPath/XPathNavigator.cs b/src/System.Private.Xml/src/System/Xml/XPath/XPathNavigator.cs
index 0aa96e6ca8..d986e120fb 100644
--- a/src/System.Private.Xml/src/System/Xml/XPath/XPathNavigator.cs
+++ b/src/System.Private.Xml/src/System/Xml/XPath/XPathNavigator.cs
@@ -9,7 +9,6 @@ using System.Collections.Generic;
 using System.Globalization;
 using System.Xml.Schema;
 using System.Diagnostics;
-using System.Diagnostics.Contracts;
 using System.Security;
 using System.Text;
 using System.Xml;
@@ -1183,22 +1182,16 @@ namespace System.Xml.XPath
 
         public virtual XPathNodeIterator Select(string xpath)
         {
-            Contract.Ensures(Contract.Result<XPathNodeIterator>() != null);
-
             return this.Select(XPathExpression.Compile(xpath));
         }
 
         public virtual XPathNodeIterator Select(string xpath, IXmlNamespaceResolver resolver)
         {
-            Contract.Ensures(Contract.Result<XPathNodeIterator>() != null);
-
             return this.Select(XPathExpression.Compile(xpath, resolver));
         }
 
         public virtual XPathNodeIterator Select(XPathExpression expr)
         {
-            Contract.Ensures(Contract.Result<XPathNodeIterator>() != null);
-
             XPathNodeIterator result = Evaluate(expr) as XPathNodeIterator;
             if (result == null)
             {
@@ -2253,23 +2246,4 @@ namespace System.Xml.XPath
             }
         }
     }
-
-#if CONTRACTS_FULL
-    [ContractClassFor(typeof(XPathNavigator))]
-    internal abstract class XPathNavigatorContract : XPathNavigator
-    {
-        public override XPathNavigator Clone()
-        {
-            Contract.Ensures(Contract.Result<XPathNavigator>() != null);
-            return default(XPathNavigator);
-        }
-
-        public override XmlNameTable NameTable { 
-            get {
-                Contract.Ensures(Contract.Result<XmlNameTable>() != null);
-                return default(XmlNameTable);
-            }
-        }
-    }
-#endif
 }