It seems that anchor names are implicitly all lowercase · model-checking/verify-rust-std@a4bac2b (original) (raw)
Navigation Menu
- GitHub Copilot Write better code with AI
- GitHub Models New Manage and compare prompts
- GitHub Advanced Security Find and fix vulnerabilities
- Actions Automate any workflow
- Codespaces Instant dev environments
- Issues Plan and track work
- Code Review Manage code changes
- Discussions Collaborate outside of code
- Code Search Find more, search less
- Explore
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
Commit a4bac2b
It seems that anchor names are implicitly all lowercase
File tree
1 file changed
lines changed
1 file changed
lines changed
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -143,7 +143,7 @@ | ||
143 | 143 | //! [`num::NonZero*`]: crate::num |
144 | 144 | //! [`ptr::NonNull`]: crate::ptr::NonNull |
145 | 145 | //! [function call ABI]: ../primitive.fn.html#abi-compatibility |
146 | -//! [result_repr]: crate::result#Representation | |
146 | +//! [result_repr]: crate::result#representation | |
147 | 147 | //! |
148 | 148 | //! This is called the "null pointer optimization" or NPO. |
149 | 149 | //! |