( meta: &ConstantMeta, names: &FxHashMap<Address, Name>, name_to_addr: &FxHashMap<Name, Address>, )
| 397 | /// |
| 398 | /// If the `name_to_addr` lookup misses, that means the Named entry we expected |
| 399 | /// the compile pipeline to register is missing — bailing with an error is far |
| 400 | /// better than guessing (the prior behavior synthesized a name-hash address as |
| 401 | /// a fallback, which produced **ghost KConsts**: KIds referring to addresses |
| 402 | /// that no KConst was ever stored at, causing obscure downstream lookup |
| 403 | /// failures and alpha-collapse confusion). |
| 404 | fn resolve_all<M: KernelMode>( |
| 405 | all_addrs: &[Address], |
| 406 | names: &FxHashMap<Address, Name>, |
| 407 | name_to_addr: &FxHashMap<Name, Address>, |
| 408 | ) -> Result<Vec<KId<M>>, String> { |
no test coverage detected