tree 30ebe9ceb34ef8e34e62f81eec6337f6663d6f69
parent 31b29cd434e0826fba76988f6680f92d1038ad91
author Felipe de A. Mello Pereira <felipeamp@google.com> 1665479023 -0700
committer Copybara-Service <copybara-worker@google.com> 1665479062 -0700

Generate `operator<` bindings.

For now operator<=> is completely ignored, and even if both operator< and operator<=> are present we construct partial_cmp from lt (i.e. the operator< thunk).

Bindings are also not generated for operator< when the operands have different types, since that's a much more complicated case: implementing partial_cmp in Rust using lt would require transitivity of operator< and operator==, and we'd need to query salsa for them while avoiding cyclic queries.

PiperOrigin-RevId: 480291403