Final borrows fixes - Githubissues

creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

GNU Lesser General Public License v2.1

1.15k stars 50 forks source link

Closed jhjourdan closed 2 months ago

arnaudgolfouse commented 2 months ago

The indexing test in should_fail/final_borrows.rs should be removed, since this is now supported