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