Open
Description
rust-lang/project-stable-mir#95
When the upstream issue is fixed, remove the workaround found in /kani-compiler/src/kani_middle/reachability.rs for function filter_crate_items
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests