syntax_data: {"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":")"}]}
source_snippet: ) -> Result<EvaluationResult, OverflowError> {
context_before:     canonical_goal: CanonicalPredicateGoal<'tcx>,
context_after:     assert!(!tcx.next_trait_solver_globally());