syntax_data: {"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"opt_assertion:"}]}
source_snippet:     opt_assertion: &Option<String>,
context_before:     early_dcx: &EarlyDiagCtxt,
context_after: ) -> Option<IncrementalStateAssertion> {