1 files changed, 49 insertions, 0 deletions
diff --git a/v_windows/v/vlib/v/gen/c/utils.v b/v_windows/v/vlib/v/gen/c/utils.v
new file mode 100644
index 0000000..a4768c8
--- /dev/null
+++ b/v_windows/v/vlib/v/gen/c/utils.v
@@ -0,0 +1,49 @@
+// Copyright (c) 2019-2021 Alexander Medvednikov. All rights reserved.
+// Use of this source code is governed by an MIT license
+// that can be found in the LICENSE file.
+module c
+
+import v.ast
+
+fn (mut g Gen) unwrap_generic(typ ast.Type) ast.Type {
+	if typ.has_flag(.generic) {
+		if t_typ := g.table.resolve_generic_to_concrete(typ, g.table.cur_fn.generic_names,
+			g.table.cur_concrete_types)
+		{
+			return t_typ
+		}
+	}
+	return typ
+}
+
+struct Type {
+	// typ is the original type
+	typ ast.Type        [required]
+	sym &ast.TypeSymbol [required]
+	// unaliased is `typ` once aliased have been resolved
+	// it may not contain informations such as flags and nr_muls
+	unaliased     ast.Type        [required]
+	unaliased_sym &ast.TypeSymbol [required]
+}
+
+// unwrap returns the following variants of a type:
+// * generics unwrapped
+// * alias unwrapped
+fn (mut g Gen) unwrap(typ ast.Type) Type {
+	no_generic := g.unwrap_generic(typ)
+	no_generic_sym := g.table.get_type_symbol(no_generic)
+	if no_generic_sym.kind != .alias {
+		return Type{
+			typ: no_generic
+			sym: no_generic_sym
+			unaliased: no_generic
+			unaliased_sym: no_generic_sym
+		}
+	}
+	return Type{
+		typ: no_generic
+		sym: no_generic_sym
+		unaliased: no_generic_sym.parent_idx
+		unaliased_sym: g.table.get_type_symbol(no_generic_sym.parent_idx)
+	}
+}