{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"///"}]}
    /// the goal as even if the inference variable has been resolved by evaluating the
    /// type inference variable in the input. We must not resolve this after evaluating
    /// goal itself, this goal may still end up failing due to region uniquification