{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
/// its corresponding trait goal. Most notably, we do not
/// by using the same 'kind of candidate' we've used to prove
/// normalize by using an impl if the trait goal has been