{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
/// by using the same 'kind of candidate' we've used to prove
/// This is used by `NormalizesTo` goals to only normalize
/// its corresponding trait goal. Most notably, we do not