src/vs/base/common/map.ts/TernarySearchTreeNode/rotateRight
class TernarySearchTreeNode:	rotateRight() {
		const tmp = this.left!;
		this.left = tmp.right;
		tmp.right = this;
		this.updateHeight();
		tmp.updateHeight();
		return tmp;
	}