mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3281 - RalfJung:typo, r=RalfJung

Browse Source 
fix typo in operator.rs
This commit is contained in:
bors 2024-01-27 12:52:34 +00:00
commit 0186c24d9e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/operator.rs
View File

@ -24,7 +24,7 @@ fn binary_ptr_op(
Ok(match bin_op { Ok(match bin_op {
Eq | Ne | Lt | Le | Gt | Ge => { Eq | Ne | Lt | Le | Gt | Ge => {
assert_eq!(left.layout.abi, right.layout.abi); // types an differ, e.g. fn ptrs with different `for` assert_eq!(left.layout.abi, right.layout.abi); // types can differ, e.g. fn ptrs with different `for`
let size = this.pointer_size(); let size = this.pointer_size();
// Just compare the bits. ScalarPairs are compared lexicographically. // Just compare the bits. ScalarPairs are compared lexicographically.
// We thus always compare pairs and simply fill scalars up with 0. // We thus always compare pairs and simply fill scalars up with 0.