{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
                        let quiet = with_forced_trimmed_paths!(format!(
                        let obligation = format!("{projection_term} = {term}");
                            "{} = {}",