anchor.diff:                  LazyList.consDelayed (LazyList.head xs) <| fun () ->
                       Queue<_>.Rotate (LazyList.tail xs, ys, LazyList.cons y rys)
   
  -    //
  +    /// Creates a new Queue with the given field values.
       static member private CreateQueue (front, rear, pending) =
           if LazyList.isEmpty pending then
               (* length rear = length front + 1 *)
  -            let front = Queue<_>.Rotate (front, rear, LazyList.empty)
  +            let front = Queue<'T>.Rotate (front, rear, LazyList.empty)
               Queue (front, [], front)
           else
               Queue (
  
positive.code:         
          queue.ToList ()
  
      //
      [<CompiledName("ToArray")>]
      let inline toArray (queue : Queue<'T>) : 'T[] =
          // Preconditions
  
negative.code: 
          queue.Dequeue ()
  
      /// Create a list containing the elements of the Queue in order.
      [<CompiledName("ToList")>]
      let inline toList (queue : Queue<'T>) : 'T list =
          // Preconditions
  