{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
    /// current one anymore, but we do reference shared data to save space.
    /// current compilation session: We don't merge the previous dep-graph into
    current: CurrentDepGraph<D>,