We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a38c161 commit d41e5c1Copy full SHA for d41e5c1
library/core/src/intrinsics.rs
@@ -3720,7 +3720,7 @@ mod verify {
3720
fn check_copy_nonoverlapping() {
3721
let mut generator = PointerGenerator::<char, 10>::new();
3722
let src = generator.generate_ptr();
3723
- // Destination may or may not have the same precedence as src.
+ // Destination may or may not have the same provenance as src.
3724
let dst = if kani::any() {
3725
generator.generate_ptr();
3726
} else {
0 commit comments