Rollup merge of #126946 - cyrgani:patch-1, r=compiler-errors · model-checking/verify-rust-std@5aedb8a (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 5aedb8a
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 |
---|---|---|
@@ -2579,7 +2579,7 @@ extern "rust-intrinsic" { | ||
2579 | 2579 | /// fn runtime() -> i32 { 1 } |
2580 | 2580 | /// const fn compiletime() -> i32 { 2 } |
2581 | 2581 | /// |
2582 | -// // ⚠ This code violates the required equivalence of `compiletime` | |
2582 | +/// // ⚠ This code violates the required equivalence of `compiletime` | |
2583 | 2583 | /// // and `runtime`. |
2584 | 2584 | /// const_eval_select((), compiletime, runtime) |
2585 | 2585 | /// } |