{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
    // hold for the self type of the goal, which for coherence and soundness
    // Return `Some` if there is an impl (built-in or user provided) that may
    // purposes must disqualify the built-in auto impl assembled by considering