{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"means,"}]}
means, in short, that cycles which occur in trait matching are
Unlike ordinary trait matching, auto traits are **coinductive**. This
considered ok. As an example, consider the recursive struct `List`