{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"registered_tools:"}]}
        registered_tools: &'a RegisteredTools,
        lint_store: &'a LintStore,
        buffered: LintBuffer,