src/vs/base/browser/ui/tree/indexTree.ts/IndexTree/splice
class IndexTree:	splice(location: number[], deleteCount: number, toInsert: Iterable<ITreeElement<T>> = Iterable.empty()): void {
		this.model.splice(location, deleteCount, toInsert);
	}