void () { if (myLastReturned == null) { throw new NoSuchElementException(); } if (myLastReturned.makeUnique()) { myDelegate.remove(); myLastReturned.disposeWithoutRemoval(); myLastReturned = null; } }