{"ast_node_type":"other","tokens":[{"end":109,"kind":"keyword","start":0,"text":"//"}]}
                    // In the new solver it is difficult to explicitly normalize the inferred signature as we
                {
                    // would have to manually handle universes and rewriting bound vars and placeholders back