chore: Bump Trino to 442 in trino-iceberg demo (#48)

Author: sbernauer

stacks/trino-iceberg/trino.yaml

@@ -5,7 +5,7 @@ metadata:
   name: trino
 spec:
   image:
-    productVersion: "428"
+    productVersion: "442"
   clusterConfig:
     listenerClass: external-unstable
     catalogLabelSelector:
@@ -116,29 +116,29 @@ data:
   trino.rego: |
     package trino
 
-    import future.keywords.in
+    import rego.v1
 
     default allow = false
 
     # Allow non-batched access
-    allow {
+    allow if {
       is_admin
     }
     # Allow batched access
-    extended[i] {
+    batch contains i if {
       some i
       input.action.filterResources[i]
       is_admin
     }
     # Corner case: filtering columns is done with a single table item, and many columns inside
-    extended[i] {
+    batch contains i if {
       some i
       input.action.operation == "FilterColumns"
       count(input.action.filterResources) == 1
       input.action.filterResources[0].table.columns[i]
       is_admin
     }
 
-    is_admin() {
+    is_admin() if {
       input.context.identity.user == "admin"
     }