{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
    /// have nested subgoals that only change the self type. Unlike other
    /// Convenience function for traits that are structural, i.e. that only
    /// evaluate-like helpers, this does a probe, so it doesn't need to be