{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"Some(value)"}]}
        Some(value)
        let value = self.with_decoder(tcx, pos, |decoder| decode_tagged(decoder, dep_node_index));
    }