Home Original page

Rollup merge of #126946 - cyrgani:patch-1, r=compiler-errors · model-checking/verify-rust-std@5aedb8a

Original file line numberDiff line numberDiff line change

@@ -2579,7 +2579,7 @@ extern "rust-intrinsic" {

25792579

/// fn runtime() -> i32 { 1 }

25802580

/// const fn compiletime() -> i32 { 2 }

25812581

///

2582-

// // ⚠ This code violates the required equivalence of `compiletime`

2582+

/// // ⚠ This code violates the required equivalence of `compiletime`

25832583

/// // and `runtime`.

25842584

/// const_eval_select((), compiletime, runtime)

25852585

/// }