codegen: the int32-key element read passes the split helper its key-fact argument (main does not compile)

changelog.d/codegen-int32-key-split-argument.md

@@ -0,0 +1 @@
+codegen: the int32-key element read passes the split helper its key-fact argument (`None`: the key is already an i32), so `perry-codegen` compiles again after key signs (#14458) met int32 local ranges (#14453).

crates/perry-codegen/src/expr/index_get.rs

@@ -1498,6 +1498,11 @@ pub(crate) fn lower(ctx: &mut FnCtx<'_>, expr: &Expr) -> Result<String> {
                                         false,
                                         repair_slot.as_deref(),
                                         proven,
+                                        // The key is already its i32 here
+                                        // (`int32_key::lower`): the split
+                                        // takes it as a native key, so no
+                                        // key-sign fact applies to it.
+                                        None,
                                     )
                                 })
                             },