Skip to content

Commit fb5cc3b

Browse files
committed
fix: verify NeverToAny adjustment on binop lhs never place
1 parent 046ccd0 commit fb5cc3b

1 file changed

Lines changed: 4 additions & 4 deletions

File tree

crates/hir-ty/src/tests/never_type.rs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -823,11 +823,11 @@ fn binop_lhs_never_place_diverges() {
823823
check_no_mismatches(
824824
r#"
825825
//- minicore: sized, add
826-
fn foo() -> i32 {
826+
fn foo() {
827827
unsafe {
828-
let p: *const ! = 0 as _;
829-
let _x = *p + 1;
830-
// ^^ adjustments: NeverToAny
828+
let p: *mut ! = 0 as _;
829+
*p + 1;
830+
// ^^ adjustments: NeverToAny
831831
}
832832
}
833833
"#,

0 commit comments

Comments
 (0)