{"ast_node_type":"variable","tokens":[{"end":100,"kind":"keyword","start":0,"text":"let"}]}
        let via = |msg: &str| if msg.is_empty() { "".to_string() } else { format!(" (via {msg})") };
    ) -> Diag<'infcx> {
        let mut err = struct_span_code_err!(