syntax_data: {"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
source_snippet:         }
context_before:             assume = crate::traits::evaluate_const(self.infcx, assume, obligation.param_env)
context_after:         let Some(assume) = rustc_transmute::Assume::from_const(self.infcx.tcx, assume) else {