Add some more adjustment test annotations

This commit is contained in:
Lukas Wirth 2021-07-08 15:03:57 +02:00
parent 349f2535fb
commit e968d834ca

View File

@ -51,7 +51,9 @@ fn let_stmt_coerce() {
//- minicore: coerce_unsized //- minicore: coerce_unsized
fn test() { fn test() {
let x: &[isize] = &[1]; let x: &[isize] = &[1];
// ^^^^ adjustments: Deref(None), Borrow(Ref(Not)), Pointer(Unsize)
let x: *const [isize] = &[1]; let x: *const [isize] = &[1];
// ^^^^ adjustments: Deref(None), Borrow(RawPtr(Not)), Pointer(Unsize)
} }
", ",
); );
@ -171,9 +173,12 @@ fn test() {
2 => t as &i32, 2 => t as &i32,
//^^^^^^^^^ expected *mut i32, got &i32 //^^^^^^^^^ expected *mut i32, got &i32
_ => t as *const i32, _ => t as *const i32,
// ^^^^^^^^^^^^^^^ adjustments: Pointer(MutToConstPointer)
}; };
x; x;
//^ type: *const i32 //^ type: *const i32
} }
", ",
); );
@ -258,6 +263,9 @@ fn coerce_fn_item_to_fn_ptr() {
fn foo(x: u32) -> isize { 1 } fn foo(x: u32) -> isize { 1 }
fn test() { fn test() {
let f: fn(u32) -> isize = foo; let f: fn(u32) -> isize = foo;
// ^^^ adjustments: Pointer(ReifyFnPointer)
let f: unsafe fn(u32) -> isize = foo;
// ^^^ adjustments: Pointer(ReifyFnPointer)
}", }",
); );
} }