syntax_data: {"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":")"}]}
source_snippet: ) -> Result<T, NoSolution> {
context_before:     goal: PseudoCanonicalInput<'tcx, T>,
context_after:     let PseudoCanonicalInput { typing_env, value } = goal;