checker: check generics struct init that types mismatch (fix #12115) (#12120)

vlib/v/checker/checker.v

@@ -856,10 +856,13 @@ pub fn (mut c Checker) generic_insts_to_concrete() {
 						}
 						typ.is_public = true
 						typ.kind = parent.kind
-					}
+
-					parent_sym := c.table.get_type_symbol(parent_info.parent_type)
+						parent_sym := c.table.get_type_symbol(parent_info.parent_type)
-					for method in parent_sym.methods {
+						for method in parent_sym.methods {
-						c.table.register_fn_concrete_types(method.name, info.concrete_types)
+							c.table.register_fn_concrete_types(method.name, info.concrete_types)
+						}
+					} else {
+						util.verror('generic error', 'the number of generic types of struct `$parent.name` is inconsistent with the concrete types')
 					}
 				}
 				ast.Interface {

vlib/v/checker/tests/generics_struct_type_mismatch_err.out

@@ -0,0 +1 @@
+generic error: the number of generic types of struct `main.Example` is inconsistent with the concrete types

vlib/v/checker/tests/generics_struct_type_mismatch_err.vv

@@ -0,0 +1,11 @@
+struct Example<T, V> {
+	key   T
+	value V
+}
+
+fn main() {
+	example := Example<string>{
+		key: 'key'
+		value: 'value'
+	}
+}