Remove unused "prior art" section

This commit is contained in:
Travis Cross 2024-05-07 17:09:42 +00:00
parent 9f36a9256a
commit c19839632d
1 changed files with 0 additions and 5 deletions

View File

@ -295,11 +295,6 @@ The key motivation for this RFC is to make clear that the person writing an `ext
[#46188]: https://github.com/rust-lang/rust/issues/46188
# Prior art
[prior-art]: #prior-art
None we are aware of.
# Future possibilities
[future-possibilities]: #future-possibilities