{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"diagnostics.push(MappedRustDiagnostic"}]}
                diagnostics.push(MappedRustDiagnostic {
            for sub in &subdiagnostics {
                    url: sub.related.location.uri.clone(),