mirror of
https://github.com/Noratrieb/evaluate_obligation-fingerprints.git
synced 2026-01-15 18:55:01 +01:00
15 lines
No EOL
289 B
Markdown
15 lines
No EOL
289 B
Markdown
# reproduction
|
|
|
|
To reproduce the issue, run `./repro.sh`.
|
|
|
|
This will clean the build, and then toggle two lines between
|
|
```
|
|
// 1
|
|
// 2
|
|
```
|
|
```
|
|
// 1
|
|
```
|
|
which is enough to trigger the issue.
|
|
|
|
**Make sure to `export RUSTFLAGS=-Zincremental-verify-ich` first, otherwise it may not reproduce**. |