The return section in the document of bson_iter_recurse() says:

Returns

true if child has been intialized. Otherwise, both child and iter should be considered invalid.

As iter is passed in as a const variable, it should not go bad. The document needs an update.