Add missing slash in const_eval_select doc comment · model-checking/verify-rust-std@2ddf794 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit 2ddf794

Add missing slash in const_eval_select doc comment

File tree

1 file changed

lines changed

1 file changed

lines changed

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 /// }