syntax_data: {"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // the assumed wf types of the trait's RPITIT GAT.
context_before:                 // Assumed wf types for RPITITs in an impl just inherit (and instantiate)
context_after:                 ty::ImplTraitInTraitData::Impl { .. } => {