[Mlir-commits] [mlir] [MLIR][Transform][SMT] Introduce transform.smt.constrain_params (PR #159450)

[Rolf Morel]

================
@@ -42,12 +42,12 @@ static void populateDialectSMTSubmodule(nanobind::module_ &m) {
               },
               "cls"_a, "width"_a, "context"_a = nb::none());
   auto smtIntType = mlir_type_subclass(m, "IntType", mlirSMTTypeIsAInt)
-                         .def_classmethod(
-                             "get",
-                             [](const nb::object &, MlirContext context) {
-                               return mlirSMTTypeGetInt(context);
-                             },
-                             "cls"_a, "context"_a.none() = nb::none());
+                        .def_classmethod(
----------------
rolfmorel wrote:

Fair point. Was a copy-pasta from the other types being exposed. Have now also changed their definitions to use `def_staticmethod`.

https://github.com/llvm/llvm-project/pull/159450