{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"machine:"}]}
    machine: &CompileTimeMachine<'tcx>,
    tcx: TyCtxtAt<'tcx>,
    lint: &'static rustc_session::lint::Lint,