Remove all usages of CONTRACTS_FULL from mscorlib (#5454)

* Remove CONTRACTS_FULL from Array
* Remove CONTRACTS_FULL from ArraySortHelper
* Remove CONTRACTS_FULL from ICollection
* Remove CONTRACTS_FULL from IDictionary
* Remove CONTRACTS_FULL from IEnumerable
* Remove CONTRACTS_FULL from IList
* Remove CONTRACTS_FULL from IReadOnlyCollection
* Remove CONTRACTS_FULL from IReadOnlyDictionary
* Remove CONTRACTS_FULL from IReadOnlyList
* Remove CONTRACTS_FULL from the nongeneric collections
* Remove CONTRACTS_FULL from IConvertible and IFormattable
* Remove CONTRACTS_FULL from System.IO
* Remove CONTRACTS_FULL from System.Reflection

1 files changed, 0 insertions, 36 deletions

diff --git a/src/mscorlib/src/System/Collections/ICollection.cs b/src/mscorlib/src/System/Collections/ICollection.cs
index d19412f906..6d4d6e1a93 100644
--- a/src/mscorlib/src/System/Collections/ICollection.cs
+++ b/src/mscorlib/src/System/Collections/ICollection.cs
@@ -19,9 +19,6 @@ namespace System.Collections {
 
     // Base interface for all collections, defining enumerators, size, and 
     // synchronization methods.
-#if CONTRACTS_FULL
-    [ContractClass(typeof(ICollectionContract))]
-#endif // CONTRACTS_FULL
     [System.Runtime.InteropServices.ComVisible(true)]
     public interface ICollection : IEnumerable
     {
@@ -81,37 +78,4 @@ namespace System.Collections {
         bool IsSynchronized
         { get; }
     }
-
-#if CONTRACTS_FULL
-    [ContractClassFor(typeof(ICollection))]
-    internal abstract class ICollectionContract : ICollection
-    {
-        void ICollection.CopyTo(Array array, int index)
-        {
-        }
-
-        int ICollection.Count { 
-            get {
-                Contract.Ensures(Contract.Result<int>() >= 0);
-                return default(int);
-            }
-        }
-
-        Object ICollection.SyncRoot {
-            get {
-                Contract.Ensures(Contract.Result<Object>() != null);
-                return default(Object);
-            }
-        }
-
-        bool ICollection.IsSynchronized {
-            get { return default(bool); }
-        }
-
-        IEnumerator IEnumerable.GetEnumerator()
-        {
-            return default(IEnumerator);
-        }
-    }
-#endif // CONTRACTS_FULL
 }