syntax_data: {"ast_node_type":"import","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // predicate, which would trivially cause a cycle when we do
context_before:                     // install a `NormalizesTo(Projection(RPITIT) -> Opaque(RPITIT))`
context_after:                     // anything that requires `TypingEnv::with_post_analysis_normalized`.