char::to_digit comment #3249

Closed

Closed

char::to_digit comment#3249

Doc comment says that it fails if the character is not a digit. In fact it returns option::none.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests