Closed
Description
Needs updating for rust-lang/rust#63931
I'll try to take care of this sometime soon after tonight's nightly is published.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
Needs updating for rust-lang/rust#63931
I'll try to take care of this sometime soon after tonight's nightly is published.