// Error a propósito: se rota, y no se intercambian los colores.
#include <iostream>

#include "broken_rb.h"

int main() {
    std::cout << std::unitbuf;
    BrokenRb<Bug::no_repaint_after_rotation> tree;
    for (int key : {10, 20, 30}) {
        tree.insert(key);
        std::cout << "insertar " << key << ": " << tree.shape() << "\n";
    }
    tree.check_invariants();
    std::cout << "check_invariants no vio nada\n";
    return 0;
}