Detached specs are broken in rust-verify-std #1324
Description
I'm trying to run the latest flux on rust-verify-std (specifically on this branch https://github.com/model-checking/verify-rust-std/tree/sync-2025-10-09, as that's the one matching our current toolchain), and detached specs are broken
error[E0999]: unresolved name `hash`
--> core/src/flux_info.rs:57:9
|
57 | mod hash {
| ^^^^
This probably regressed with the latest changes related to resolving detached specs in the current module. The issue may be that in rust-verify-std, detached specs are not in the crate root (they are inside flux_info).
Maybe we can extend the syntax and start detached specs with crate { ... } if we want to "reset" the resolver and start from the crate root.
ping @ranjitjhala