syntax_data: {"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // and all auto traits don't have any generics. Two things could
context_before:         // because only *auto traits* are allowed other than the principal trait
context_after:         // make this not an "okay" mangling: