syntax_data: {"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"self.miri_unleashed_features.lock().push((span,"}]}
source_snippet:         self.miri_unleashed_features.lock().push((span, feature_gate));
context_before:     pub fn miri_unleashed_feature(&self, span: Span, feature_gate: Option<Symbol>) {
context_after:     }