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