add tvector test

Author: tomas-villagesql

mysql-test/suite/villagesql/implicit_cast/disallowed/r/insert_tvector2_into_tvector3.result

@@ -0,0 +1,7 @@
+INSTALL EXTENSION vsql_tvector;
+CREATE TABLE t_mixed (id INT, vec2 TVECTOR(2), vec3 TVECTOR(3), int_val INT);
+INSERT INTO t_mixed VALUES (1, '[1.0,1.0]', '[2.0,2.0,2.0]', 100);
+UPDATE t_mixed SET vec3 = vec2 WHERE id = 1;
+ERROR HY000: Cannot implicitly cast from vsql_tvector.TVECTOR(2) to vsql_tvector.TVECTOR(3) for column 'vec3' at row 1
+DROP TABLE t_mixed;
+UNINSTALL EXTENSION vsql_tvector;

mysql-test/suite/villagesql/implicit_cast/disallowed/t/insert_tvector2_into_tvector3.test

@@ -0,0 +1,13 @@
+# Test INSERT with TVECTOR(2) value into TVECTOR(3) field
+
+INSTALL EXTENSION vsql_tvector;
+
+CREATE TABLE t_mixed (id INT, vec2 TVECTOR(2), vec3 TVECTOR(3), int_val INT);
+
+INSERT INTO t_mixed VALUES (1, '[1.0,1.0]', '[2.0,2.0,2.0]', 100);
+--error ER_VILLAGESQL_GENERIC_ERROR
+UPDATE t_mixed SET vec3 = vec2 WHERE id = 1;
+
+DROP TABLE t_mixed;
+
+UNINSTALL EXTENSION vsql_tvector;

villagesql/schema/descriptor/type_context.h

@@ -226,7 +226,23 @@ class TypeContext {
     return descriptor_->extension_version();
   }
   const std::string &type_name() const { return descriptor_->type_name(); }
-  std::string qualified_name() const { return descriptor_->qualified_name(); }
+  // Returns "extension_name.type_name" or "extension_name.type_name(v1,v2,...)"
+  // when parameters are present (e.g. "vsql_tvector.TVECTOR(3)").
+  // Values are listed in sorted key order, comma-separated.
+  std::string qualified_name() const {
+    if (key_.parameters().empty()) {
+      return descriptor_->qualified_name();
+    }
+    std::string result = descriptor_->qualified_name() + "(";
+    const char *delim = "";
+    for (const auto &entry : key_.parameters().params()) {
+      result += delim;
+      result += entry.second;
+      delim = ",";
+    }
+    result += ")";
+    return result;
+  }
 
   // Storage characteristics for this type instantiation.
   // For fixed-length types, these are copied from the TypeDescriptor.