{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"///"}]}
    /// Counter to generate different values.
    evaluated: IndexVec<VnIndex, Option<OpTy<'tcx>>>,
    next_opaque: usize,