syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"representability_adt_ty(Bar<..>)"}]}
source_snippet: representability_adt_ty(Bar<..>) is in the cycle and representability(Bar) is
context_before: cycle above, we know that `Bar` is representable because
context_after: *not* in the cycle.