Go: extract explicit alias types

go/downgrades/20cbf29a08034a40b49ab41c26f37a710de32857/upgrade.properties

@@ -0,0 +1,21 @@
+description: Remove support for type aliases
+compatibility: full
+
+alias_rhs.rel: delete
+array_length.rel: run explicit_aliases_downgrade.qlo new_array_length
+base_type.rel: run explicit_aliases_downgrade.qlo new_base_type
+component_types.rel: run explicit_aliases_downgrade.qlo new_component_types
+defs.rel: run explicit_aliases_downgrade.qlo new_defs
+element_type.rel: run explicit_aliases_downgrade.qlo new_element_type
+fieldstructs.rel: run explicit_aliases_downgrade.qlo new_fieldstructs
+key_type.rel: run explicit_aliases_downgrade.qlo new_key_type
+objects.rel: run explicit_aliases_downgrade.qlo new_objects
+objecttypes.rel: run explicit_aliases_downgrade.qlo new_objecttypes
+type_objects.rel: run explicit_aliases_downgrade.qlo new_type_objects
+type_of.rel: run explicit_aliases_downgrade.qlo new_type_of
+typename.rel: run explicit_aliases_downgrade.qlo new_typename
+typeparam.rel: run explicit_aliases_downgrade.qlo new_typeparam
+types.rel: run explicit_aliases_downgrade.qlo new_types
+underlying_type.rel: run explicit_aliases_downgrade.qlo new_underlying_type
+uses.rel: run explicit_aliases_downgrade.qlo new_uses
+variadic.rel: run explicit_aliases_downgrade.qlo new_variadic

go/extractor/dbscheme/tables.go

@@ -861,6 +861,9 @@ var NamedType = TypeKind.NewBranch("@namedtype", CompositeType)
 // TypeSetLiteral is the type of type set literals
 var TypeSetLiteral = TypeKind.NewBranch("@typesetliteraltype", CompositeType)
 
+// TypeAlias is the type of type aliases
+var TypeAlias = TypeKind.NewBranch("@typealias", CompositeType)
+
 // PackageType is the type of packages
 var PackageType = NewPrimaryKeyType("@package")
 
@@ -1142,6 +1145,12 @@ var UnderlyingTypeTable = NewTable("underlying_type",
 	EntityColumn(TypeType, "tp"),
 )
 
+// AliasRhsTable is the table associating type aliases with their RHS.
+var AliasRhsTable = NewTable("alias_rhs",
+	EntityColumn(TypeAlias, "alias").Unique(),
+	EntityColumn(TypeType, "tp"),
+)
+
 // ComponentTypesTable is the table associating composite types with their component types
 var ComponentTypesTable = NewTable("component_types",
 	EntityColumn(CompositeType, "parent"),