syntax_data: {"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// Used by the new solver to normalize an alias. This always expects the `term` to
context_after: /// be an unconstrained inference variable which is used as the output.