rename sub_ptr to offset_from_unsigned#137483
Hidden character warning
Conversation
|
rustbot has assigned @workingjubilee. Use |
|
The Miri subtree was changed cc @rust-lang/miri |
|
Could not assign reviewer from: |
This comment has been minimized.
This comment has been minimized.
b83ae9a to
4e23cbe
Compare
|
I guess this will also be a test whether GH and all our tooling can deal with an emoji branch name. There have been problems in the past.^^ |
src/tools/miri/tests/fail/intrinsics/ptr_offset_from_unsigned_neg.stderr
Outdated
Show resolved
Hide resolved
0869572 to
c37e497
Compare
|
yeahh, please add at least one ascii character to the branch name, or it will end badly probably |
This comment has been minimized.
This comment has been minimized.
|
The branches a PR is on can't be changed, so that would require a new PR. But we can also just try?^^ So far it seems to work. |
This comment has been minimized.
This comment has been minimized.
|
let's see if this fails horribly due to the branch name ^^'. thanks for the PR! |
i also made
byte_sub_ptrbyte_offset_from_unsignedfixes #137121
tracking issue #95892