a_b_tree_const.rs

const A: usize = 2;
const B: usize = 3;

#[allow(clippy::assertions_on_constants)]
const _: () = {
    assert!(2 <= A && A <= (B + 1) / 2, "Not a valid (a,b)-tree");
    assert!(A == (B / 2) + (B % 2), "Not a valid B-tree");
};