{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"Unlike"}]}
Unlike ordinary trait matching, auto traits are **coinductive**. This
means, in short, that cycles which occur in trait matching are