Closed dtolnay closed 1 year ago
There is nothing useful the caller can do with this Ok, since we do not publicly expose downcasting (which would need to be unsafe), and nobody has asked for it.
Ok
There is nothing useful the caller can do with this
Ok
, since we do not publicly expose downcasting (which would need to be unsafe), and nobody has asked for it.