syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // At this point, we know that the item of the ADT type is representable;
context_before:     }
context_after:     // but the type parameters may cause a cycle with an upstream type