syntax_data: {"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// details.
context_before:     /// nested goal. See the comment of the `ReplaceAliasWithInfer` visitor for more
context_after:     NormalizeGoal(PathKind),