Rollup merge of #127861 - Kriskras99:patch-1, r=tgross35 · model-checking/verify-rust-std@37d7bff (original) (raw)
`@@ -230,7 +230,7 @@ macro_rules! eprintln {
`
230
230
```` /// ```rust
`231`
`231`
`/// let a = 2;
`
`232`
`232`
`/// let b = dbg!(a * 2) + 1;
`
`233`
``
`-
/// // ^-- prints: [src/main.rs:2] a * 2 = 4
`
``
`233`
`+
/// // ^-- prints: [src/main.rs:2:9] a * 2 = 4
`
`234`
`234`
`/// assert_eq!(b, 5);
`
`235`
`235`
```` /// ```
236
236
`///
`
`@@ -281,7 +281,7 @@ macro_rules! eprintln {
`
281
281
`/// This prints to [stderr]:
`
282
282
`///
`
283
283
```` /// ```text,ignore
`284`
``
`-
/// [src/main.rs:4] n.checked_sub(4) = None
`
``
`284`
`+
/// [src/main.rs:2:22] n.checked_sub(4) = None
`
`285`
`285`
```` /// ```
286
286
`///
`
287
287
`/// Naive factorial implementation:
`
`@@ -301,15 +301,15 @@ macro_rules! eprintln {
`
301
301
`/// This prints to [stderr]:
`
302
302
`///
`
303
303
```` /// ```text,ignore
`304`
``
`-
/// [src/main.rs:3] n <= 1 = false
`
`305`
``
`-
/// [src/main.rs:3] n <= 1 = false
`
`306`
``
`-
/// [src/main.rs:3] n <= 1 = false
`
`307`
``
`-
/// [src/main.rs:3] n <= 1 = true
`
`308`
``
`-
/// [src/main.rs:4] 1 = 1
`
`309`
``
`-
/// [src/main.rs:5] n * factorial(n - 1) = 2
`
`310`
``
`-
/// [src/main.rs:5] n * factorial(n - 1) = 6
`
`311`
``
`-
/// [src/main.rs:5] n * factorial(n - 1) = 24
`
`312`
``
`-
/// [src/main.rs:11] factorial(4) = 24
`
``
`304`
`+
/// [src/main.rs:2:8] n <= 1 = false
`
``
`305`
`+
/// [src/main.rs:2:8] n <= 1 = false
`
``
`306`
`+
/// [src/main.rs:2:8] n <= 1 = false
`
``
`307`
`+
/// [src/main.rs:2:8] n <= 1 = true
`
``
`308`
`+
/// [src/main.rs:3:9] 1 = 1
`
``
`309`
`+
/// [src/main.rs:7:9] n * factorial(n - 1) = 2
`
``
`310`
`+
/// [src/main.rs:7:9] n * factorial(n - 1) = 6
`
``
`311`
`+
/// [src/main.rs:7:9] n * factorial(n - 1) = 24
`
``
`312`
`+
/// [src/main.rs:9:1] factorial(4) = 24
`
`313`
`313`
```` /// ```
314
314
`///
`
315
315
`` /// The dbg!(..) macro moves the input:
``