is_const_array and Distinct with &[impl Borrow<Self>]

prove-rs / z3.rs

Rust bindings for the Z3 solver.

347 stars 110 forks source link

is_const_array and Distinct with &[impl Borrow<Self>] #250

Closed Pat-Lafon closed 1 year ago

Pat-Lafon commented 1 year ago

Distinct currently takes &[&Self] for which I would like to do a similar api relaxing like in #246.
With the new Rust version, there is a minor clippy change.
Python has this nice is_const_array(a) function which I would like to propose here.

waywardmonkeys commented 1 year ago

Could you squash the various commits for is_const_array into a single commit? After removing the clippy fix (already on master), that would leave one commit for the Distinct change and one for is_const_array.

waywardmonkeys commented 1 year ago

Thanks!