Closed
Description
Should be fixed after this PR will be merged:
rust-lang/rust#87468
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No projects
No milestone
None yet
No branches or pull requests
Should be fixed after this PR will be merged:
rust-lang/rust#87468