| 8569 | @since version 3.6.0 |
| 8570 | */ |
| 8571 | friend json_pointer operator/(const json_pointer& lhs, |
| 8572 | const json_pointer& rhs) |
| 8573 | { |
| 8574 | return json_pointer(lhs) /= rhs; |
| 8575 | } |
| 8576 | |
| 8577 | /*! |
| 8578 | @brief create a new JSON pointer by appending the unescaped token at the end of the JSON pointer |
nothing calls this directly
no test coverage detected