Extract the ctx field from ConstantMeta (MutCtx used during compilation for Rec expr decompilation).
(meta: &ConstantMeta)
| 1229 | // succeed — a CallSite metadata node without a resolvable |
| 1230 | // head indicates compiler/decompiler corruption, not |
| 1231 | // malformed user input. |
| 1232 | let head_name = decompile_name(name, stt).map_err(|_| { |
| 1233 | DecompileError::BadConstantFormat { |
| 1234 | msg: format!( |
| 1235 | "CallSite in '{}': head name address does not resolve", |
| 1236 | cache.current_const |
| 1237 | ), |
| 1238 | } |
| 1239 | })?; |
| 1240 | // Extract univ args from head. Level-spelling patch replay |
| 1241 | // (canonicity §10.6): the compiler re-keys the head's |
no outgoing calls
no test coverage detected