syntax_data: {"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // install a `NormalizesTo(Projection(RPITIT) -> Opaque(RPITIT))`
context_before:                     // This is because for default trait methods with RPITITs, we
context_after:                     // predicate, which would trivially cause a cycle when we do