anchor.diff:          else
               // The new capacity is smaller than the old capacity, so we need to
               // evict (capacity - newCapacity) values.
  -            notImpl "LruCache.ChangeCapacity"
  +            this.EvictMany (capacity - newCapacity)
   
       //
       member __.ToSeq () : seq<'Key * 'T> =
  
positive.code:             // when adding values to the cache.
              Some (KeyValuePair (key, keyIndexAndValue.Value)),
              LruCache (cache', indexedKeys', capacity, currentIndex)
      
      //
      member this.ChangeCapacity (newCapacity : uint32) : LruCache<'Key, 'T> =
  
negative.code:     static member internal Empty
          with get () = empty
  
  (*
      /// Create an LruCache from a sequence of key-value pairs.
      new (capacity : uint32, elements : seq<'Key * 'T>) =
          // Preconditions
  