syntax_data: {"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"TypeRelating,"}]}
source_snippet:     TypeRelating,
context_before:     /// to relate types in `AliasRelate`.
context_after:     /// We're proving a where-bound of an impl.