{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":")"}]}
    ) -> Diag<'infcx> {
        old_load_end_span: Option<Span>,
        let via = |msg: &str| if msg.is_empty() { "".to_string() } else { format!(" (via {msg})") };