diff --git a/vlib/v/checker/tests/generic_type_inference.vv b/vlib/v/checker/tests/generic_type_inference.vv
new file mode 100644
index 0000000000..2226377332
--- /dev/null
+++ b/vlib/v/checker/tests/generic_type_inference.vv
@@ -0,0 +1,21 @@
+import datatypes
+
+struct KeyVal<T> {
+mut:
+	key string
+	val T
+}
+
+fn (a KeyVal<T>) == (b KeyVal<T>) bool {
+	return a.key == b.key
+}
+
+fn (a KeyVal<T>) < (b KeyVal<T>) bool {
+	return a.key < b.key
+}
+
+fn main() {
+	mut bst := datatypes.BSTree<KeyVal<int>>{}
+	bst.insert(KeyVal<int>{key: "alibaba", val: 12})
+	println(bst.in_order_traversal())
+}