internal error: CastToInteger should have been removed before here

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.25k stars 72 forks source link

Open jonhnet opened 3 weeks ago

jonhnet commented 3 weeks ago

I pulled a recent main 97112354a9453bfb983ad7431a0776990ba1df85 and got a panic on verisplinter. Recording attached.