(text: &str, cols: usize)
| 2881 | } else { |
| 2882 | match ixon_env.lookup_name(name) { |
| 2883 | Some(named) => format!("#{}", named.addr.hex()), |
| 2884 | None => name.pretty(), |
| 2885 | } |
| 2886 | }; |
| 2887 | |
| 2888 | if let Some(msg) = ungrounded.get(name) { |
| 2889 | return CheckOutcome { |
| 2890 | progress_index, |
| 2891 | progress_total, |
| 2892 | display, |