The neat thing here is that all of the red-black tree's invariants are statically guaranteed to always hold. For example, if you wrote code that could ever make

The neat thing here is that all of the red-black tree's invariants are statically guaranteed to always hold. For example, if you wrote code that could ever make an unbalanced tree, you'll get a compiler error.