syntax_data: {"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// correctly deal with higher ranked types. Though unlike placeholders,
context_before:     /// Similar to placeholders, inference variables also live in a universe to
context_after:     /// that universe is stored in the `InferCtxt` instead of directly