AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
https://aeneasverif.github.io/charon/charon_lib/index.html
Apache License 2.0
103 stars 17 forks source link

Add an `enumerate` method to the Id vectors #379

Open sonmarcho opened 1 month ago

sonmarcho commented 1 month ago

Or rename iter_indexed to enumerate (enumerate seems to be a more standard name for such method).

Nadrieril commented 1 month ago

I like "iter_enumerated", that's what https://doc.rust-lang.org/nightly/nightly-rustc/rustc_index/struct.IndexVec.html uses

sonmarcho commented 1 month ago

Sounds good