{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// `NormalizesTo` is only used by `AliasRelate`, all other callsites
    /// As all other goal kinds do not return any nested goals and
    /// should use [`EvalCtxt::evaluate_goal`] which discards that empty