Hello, I was porting your code to another (type checked) language, and encountered this here. I do not understand what is happening here, but from the symmetry of things (in comparison to not_intersect_right_subtree below) and the inconsistent type, this.left.max might really want to be this.left.item.key.high here.
Hello, I was porting your code to another (type checked) language, and encountered this here. I do not understand what is happening here, but from the symmetry of things (in comparison to
not_intersect_right_subtreebelow) and the inconsistent type,this.left.maxmight really want to bethis.left.item.key.highhere.