Open
Description
As discussed here rust-lang/rust#74119, that example may be a better fit included in rustc-dev-guide.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
As discussed here rust-lang/rust#74119, that example may be a better fit included in rustc-dev-guide.