syntax_data: {"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
source_snippet:             }
context_before:                 (state_ty.discriminant_ty(self.tcx), Rvalue::Discriminant(scope.state_place))
context_after:             ty::Uint(_) | ty::Int(_) | ty::Float(_) | ty::Bool | ty::Char => {