Wording of the documentation · model-checking/verify-rust-std@81b9e26 (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 81b9e26
Wording of the documentation
File tree
2 files changed
lines changed
2 files changed
lines changed
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -185,8 +185,8 @@ macro_rules! int_impl { | ||
185 | 185 | |
186 | 186 | /// Returns the bit pattern of `self` reinterpreted as an unsigned integer of the same size. |
187 | 187 | /// |
188 | - /// This is a bit safer than `as` because it wouldn't silently change the size if the code | |
189 | - /// is refactored. | |
188 | + /// This produces the same result as an `as` cast, but ensures that the bit-width remains | |
189 | + /// the same. | |
190 | 190 | /// |
191 | 191 | /// # Examples |
192 | 192 | /// |
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -186,8 +186,8 @@ macro_rules! uint_impl { | ||
186 | 186 | |
187 | 187 | /// Returns the bit pattern of `self` reinterpreted as a signed integer of the same size. |
188 | 188 | /// |
189 | - /// This is a bit safer than `as` because it wouldn't silently change the size if the code | |
190 | - /// is refactored. | |
189 | + /// This produces the same result as an `as` cast, but ensures that the bit-width remains | |
190 | + /// the same. | |
191 | 191 | /// |
192 | 192 | /// # Examples |
193 | 193 | /// |