{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"DepNodeColor::Red,"}]}
                DepNodeColor::Red,
                SerializedDepNodeIndex::from_u32(DepNodeIndex::FOREVER_RED_NODE.as_u32()),
            );