{"ast_node_type":"other","tokens":[{"end":148,"kind":"keyword","start":0,"text":"Auto"}]}
Auto traits cannot have supertraits. This is for soundness reasons, as the interaction of coinduction with implied bounds is difficult to reconcile.
"##,