{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Evaluates a goal from **outside** of the trait solver.
    /// Using this while inside of the solver is wrong as it uses a new