Use dummy type as default for type parameters that should be passed by macro
This causes a compile error for the test which doesn't specify the type, because we haven't implemented type inference yet.
diff --git a/src/experimental/sv/dummy.svh b/src/experimental/sv/dummy.svh
new file mode 100644
index 0000000..0d0d0af
--- /dev/null
+++ b/src/experimental/sv/dummy.svh
@@ -0,0 +1,10 @@
+/**
+ * A dummy type that can be used in places where a type is required by the compiler, but the type
+ * is irrelevant. One such place is as a default for type parameters, because some simulators
+ * do not allow parameters without default values.
+ */
+class dummy;
+
+ // Intentionally empty
+
+endclass
diff --git a/src/experimental/sv/equals_helper.svh b/src/experimental/sv/equals_helper.svh
index db5bf43..59d400d 100644
--- a/src/experimental/sv/equals_helper.svh
+++ b/src/experimental/sv/equals_helper.svh
@@ -1,4 +1,4 @@
-class equals_helper #(type T = int);
+class equals_helper #(type T = dummy);
task check(string lhs_expr, string rhs_expr, T lhs, T rhs, string file, int unsigned line);
string original_expression = $sformatf("(%s) !== (%s)", lhs_expr, rhs_expr);
diff --git a/src/experimental/sv/svunit.sv b/src/experimental/sv/svunit.sv
index 77dfc4e..48eb352 100644
--- a/src/experimental/sv/svunit.sv
+++ b/src/experimental/sv/svunit.sv
@@ -11,6 +11,7 @@
`include "test_registry.svh"
`include "global_test_registry.svh"
+ `include "dummy.svh"
`include "equals_helper.svh"