{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"&Lint(sanity_check::SanityCheck),"}]}
            &Lint(sanity_check::SanityCheck),
            &simplify::SimplifyCfg::Initial,
        ],