{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"//"}]}
                // `Certainty::Yes`.
                // uplifting its nested goals. This is the case if the `shallow_certainty` is
                (CurrentGoalKind::NormalizesTo, Certainty::Yes) => {