syntax_data: {"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// the [`GenericArgsRef`] of the projection type are not its identity arguments.
context_before: /// super predicates. This means that form 2 and 3 from above are only relevant if
context_after: fn extend_cause_with_original_assoc_item_obligation<'tcx>(