syntax_data: {"ast_node_type":"import","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // This is because for default trait methods with RPITITs, we
context_before:                     // Don't fold the term on the RHS of the projection predicate.
context_after:                     // install a `NormalizesTo(Projection(RPITIT) -> Opaque(RPITIT))`