Unnamed repository; edit this file 'description' to name the repository.
fix: verify NeverToAny adjustment on binop lhs never place
Albab-Hasan 2 months ago
parent 046ccd0 · commit fb5cc3b
-rw-r--r--crates/hir-ty/src/tests/never_type.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/crates/hir-ty/src/tests/never_type.rs b/crates/hir-ty/src/tests/never_type.rs
index 6db256f499..d150df5567 100644
--- a/crates/hir-ty/src/tests/never_type.rs
+++ b/crates/hir-ty/src/tests/never_type.rs
@@ -823,11 +823,11 @@ fn binop_lhs_never_place_diverges() {
check_no_mismatches(
r#"
//- minicore: sized, add
-fn foo() -> i32 {
+fn foo() {
unsafe {
- let p: *const ! = 0 as _;
- let _x = *p + 1;
- // ^^ adjustments: NeverToAny
+ let p: *mut ! = 0 as _;
+ *p + 1;
+// ^^ adjustments: NeverToAny
}
}
"#,