{"ast_node_type":"impl","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // purposes must disqualify the built-in auto impl assembled by considering
    // hold for the self type of the goal, which for coherence and soundness
    // the type's constituent types.