feat: add ui test for filtering singular queries in smart contracts

Signed-off-by: Nikita Strygin <[email protected]>

Author: DCNick3

Cargo.lock

@@ -32,3 +32,4 @@ webassembly-test = "0.1.0"
 # Not used directly but required for compilation
 getrandom = { version = "0.2", features = ["custom"] }
 
+trybuild = { workspace = true }

smart_contract/Cargo.toml

@@ -0,0 +1,9 @@
+#![cfg(not(coverage))]
+use trybuild::TestCases;
+
+#[cfg(not(target_arch = "wasm32"))]
+#[test]
+fn ui() {
+    let test_cases = TestCases::new();
+    test_cases.compile_fail("tests/ui_fail/*.rs");
+}

smart_contract/tests/ui.rs

@@ -0,0 +1,12 @@
+use iroha_smart_contract::{
+    data_model::query::predicate::{string::StringPredicate, value::QueryOutputPredicate},
+    prelude::*,
+};
+
+fn main() {
+    FindPermissionSchema
+        .filter(QueryOutputPredicate::Identifiable(
+            StringPredicate::starts_with("xor_"),
+        ))
+        .execute()
+}

smart_contract/tests/ui_fail/cant_filter_singular_query.rs

@@ -0,0 +1,25 @@
+error[E0599]: the method `filter` exists for struct `FindPermissionSchema`, but its trait bounds were not satisfied
+ --> tests/ui_fail/cant_filter_singular_query.rs:8:10
+  |
+7 | /     FindPermissionSchema
+8 | |         .filter(QueryOutputPredicate::Identifiable(
+  | |         -^^^^^^ method cannot be called on `FindPermissionSchema` due to unsatisfied trait bounds
+  | |_________|
+  |
+  |
+ ::: $WORKSPACE/data_model/src/query/mod.rs
+  |
+  | /     queries! {
+  | |         /// Finds all registered permission tokens
+  | |         #[derive(Copy, Display)]
+  | |         #[ffi_type]
+... |
+  | |         }
+  | |     }
+  | |_____- doesn't satisfy `_: ExecuteIterableQueryOnHost`, `_: IterableQuery` or `_: Iterator`
+  |
+  = note: the following trait bounds were not satisfied:
+          `iroha_smart_contract::prelude::FindPermissionSchema: IterableQuery`
+          which is required by `iroha_smart_contract::prelude::FindPermissionSchema: iroha_smart_contract::ExecuteIterableQueryOnHost`
+          `iroha_smart_contract::prelude::FindPermissionSchema: Iterator`
+          which is required by `&mut iroha_smart_contract::prelude::FindPermissionSchema: Iterator`