Fix `--emit mir` handling of constants

model-checking / kani

Kani Rust Verifier

https://model-checking.github.io/kani

Apache License 2.0

2.17k stars 86 forks source link

Closed celinval closed 3 months ago

celinval commented 3 months ago

It shouldn't assume that the body of statics are available otherwise the compiler will ICE.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

celinval commented 3 months ago

The --emit mir is a debug flag, so I didn't bother creating an issue for this.

tautschnig commented 3 months ago

The --emit mir is a debug flag, so I didn't bother creating an issue for this.

Can the PR description/commit message perhaps still say what was going wrong/when things were doing wrong?