Swift: make type non optional in TypeRepr

Author: redsun82

swift/codegen/schema.yml

@@ -214,7 +214,7 @@ Stmt:
 
 TypeRepr:
   _extends: AstNode
-  type: Type?  # type can be absent on unresolved entities
+  type: Type
 
 FunctionType:
   _extends: AnyFunctionType

swift/ql/lib/codeql/swift/generated/Raw.qll

@@ -319,7 +319,7 @@ module Raw {
   class TypeRepr extends @type_repr, AstNode {
     override string toString() { result = "TypeRepr" }
 
-    Type getType() { type_repr_types(this, result) }
+    Type getType() { type_reprs(this, result) }
   }
 
   class UnboundGenericType extends @unbound_generic_type, AnyGenericType {

swift/ql/lib/codeql/swift/generated/type/TypeRepr.qll

@@ -12,6 +12,4 @@ class TypeReprBase extends Synth::TTypeRepr, AstNode {
   }
 
   final Type getType() { result = getImmediateType().resolve() }
-
-  final predicate hasType() { exists(getType()) }
 }

swift/ql/lib/swift.dbscheme

@@ -531,12 +531,7 @@ expr_types(  //dir=expr
 ;
 
 type_reprs(  //dir=type
-  unique int id: @type_repr
-);
-
-#keyset[id]
-type_repr_types(  //dir=type
-  int id: @type_repr ref,
+  unique int id: @type_repr,
   int type_: @type ref
 );