{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"Diagnostic::spanned("}]}
            Diagnostic::spanned(
        if !previous_defns.contains_key(mref) {
                resource_span,