anchor.diff:      //
       [<CompiledName("Get")>]
       let inline get (vec : vector<'T>) (index : int) : 'T =
  -        // Preconditions
  -        checkInitialized "vec" vec
  -        // NOTE : The index must be in-bounds here, but the bounds will be checked
  -        // when the JIT compiler emits the code for the vector.Item property so we
  -        // just call that directly and use that bounds check instead of an explicit one here.
  +        // Preconditions are handled by the vector.Item property.
           vec.[index]
   
       //
  
positive.code:             elements.LongLength
  
      /// Returns the vector element at the specified index.
      member __.Item
          with get index =
              // Preconditions
              // None -- The CLR inserts it's own bounds check automatically so adding one here
              // would impact performance without gaining any additional safety.
              elements.[index]
  
negative.code: 
      /// Returns the underlying array for a vector.
      let internal elements (vec : vector<'T>) : 'T[] =
          vec.Elements
  
      /// Returns an empty vector of the given type.
      [<CompiledName("Empty")>]
  