{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
/// This is used by `NormalizesTo` goals to only normalize
///
/// by using the same 'kind of candidate' we've used to prove