I'm getting this exception: ``` rust: upcall fail 'option none', ../src/libcore/option.rs:34 rust: domain main @0x102029600 root task failed ``` With this reduced (and invalid) code: ``` use std; import std::str; obj a() { fn b() { c({ |d| }); } } ```
Activity
Allow unused macro rules for two macros (rust-lang#1305)
Bump to CBMC 5.60 (rust-lang#1305)
Fix heading levels in the query chapter (rust-lang#1305)
Fix heading levels in the query chapter (rust-lang#1305)
Auto merge of rust-lang#137022 - jieyouxu:bump-bootstrap-cc-cmake, r=…
Allow unused macro rules for two macros (#1305)
Merge rust-lang#1305
Auto merge of rust-lang#1305 - ssomers:map_first_last_vs_miri, r=Ralf…