We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7af3406 commit d80cf80Copy full SHA for d80cf80
src/test/codegen/function-arguments.rs
@@ -121,13 +121,13 @@ pub fn unsafe_slice(_: &[UnsafeInner]) {
121
fn str(_: &[u8]) {
122
}
123
124
-// CHECK: @trait_borrow(i8* nonnull, void (i8*)** nonnull)
+// CHECK: @trait_borrow(i8* nonnull, void (i8*)** noalias nonnull readonly)
125
// FIXME #25759 This should also have `nocapture`
126
#[no_mangle]
127
fn trait_borrow(_: &Drop) {
128
129
130
-// CHECK: @trait_box(i8* noalias nonnull, void (i8*)** nonnull)
+// CHECK: @trait_box(i8* noalias nonnull, void (i8*)** noalias nonnull readonly)
131
132
fn trait_box(_: Box<Drop>) {
133
0 commit comments