Cherry-pick #3375 into verify-rust-std (Import apply_closure into kani_core) #7454
| Job | Run time |
|---|---|
| 4m 41s | |
| 2m 0s | |
| 40m 29s | |
| 28m 53s | |
| 22m 42s | |
| 14m 45s | |
| 23m 48s | |
| 18m 13s | |
| 2h 35m 31s |
| Job | Run time |
|---|---|
| 4m 41s | |
| 2m 0s | |
| 40m 29s | |
| 28m 53s | |
| 22m 42s | |
| 14m 45s | |
| 23m 48s | |
| 18m 13s | |
| 2h 35m 31s |