Tracking issue for stable MIR panic with GlobalAsm #3919
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 }}