use if statement

Luv-Ray · Luv-Ray · commit f0956a56d0fc · 2024-05-31T23:11:07.000+08:00
diff --git a/compiler/rustc_mir_transform/src/known_panics_lint.rs b/compiler/rustc_mir_transform/src/known_panics_lint.rs
@@ -103,8 +103,11 @@ impl<'tcx> Value<'tcx> {
                 (PlaceElem::Index(idx), Value::Aggregate { fields, .. }) => {
                     let idx = prop.get_const(idx.into())?.immediate()?;
                     let idx = prop.ecx.read_target_usize(idx).ok()?.try_into().ok()?;
-                    let idx = (idx <= FieldIdx::MAX_AS_U32).then(|| FieldIdx::from_u32(idx))?;
-                    fields.get(idx).unwrap_or(&Value::Uninit)
+                    if idx <= FieldIdx::MAX_AS_U32 {
+                        fields.get(FieldIdx::from_u32(idx)).unwrap_or(&Value::Uninit)
+                    } else {
+                        return None;
+                    }
                 }
                 (
                     PlaceElem::ConstantIndex { offset, min_length: _, from_end: false },

Original file line number	Diff line number	Diff line change
`@@ -103,8 +103,11 @@ impl<'tcx> Value<'tcx> {`
`103`	`103`	`(PlaceElem::Index(idx), Value::Aggregate { fields, .. }) => {`
`104`	`104`	`let idx = prop.get_const(idx.into())?.immediate()?;`
`105`	`105`	`let idx = prop.ecx.read_target_usize(idx).ok()?.try_into().ok()?;`
`106`		`- let idx = (idx <= FieldIdx::MAX_AS_U32).then(\|\| FieldIdx::from_u32(idx))?;`
`107`		`- fields.get(idx).unwrap_or(&Value::Uninit)`
	`106`	`+ if idx <= FieldIdx::MAX_AS_U32 {`
	`107`	`+ fields.get(FieldIdx::from_u32(idx)).unwrap_or(&Value::Uninit)`
	`108`	`+ } else {`
	`109`	`+ return None;`
	`110`	`+ }`
`108`	`111`	`}`
`109`	`112`	`(`
`110`	`113`	`PlaceElem::ConstantIndex { offset, min_length: _, from_end: false },`