Signature:
mixed(x: u32) => ()
The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.
kitchen sink
| Line | Coverage | Source |
|---|
| 120 | N/A | (let y = x) |
| 121 | ✗ | (if y > 0) |
| 122 | ✗ | (if let Some(z) = thing) |
| 123 | ✗ | (sub_judgment(y) => ()) |
| | ──────── ("kitchen sink") |
| 125 | ✗ | (mixed(x) => ()) |
fallible let
| Line | Coverage | Source |
|---|
| 129 | ✗ | (let y = x?) |
| | ──────── ("fallible let") |
| 131 | ✗ | (mixed(x) => ()) |
all infallible
| Line | Coverage | Source |
|---|
| 135 | N/A | (let y = x) |
| | ──────── ("all infallible") |
| 137 | ✗ | (mixed(x) => ()) |