Go: Update AliasType to implement getUnderlyingType

mbg · mbg · commit f73713bbbf6c · 2024-08-29T12:45:32.000+01:00
diff --git a/go/ql/lib/semmle/go/Types.qll b/go/ql/lib/semmle/go/Types.qll
@@ -1011,6 +1011,8 @@ class NamedType extends @namedtype, CompositeType {
 class AliasType extends @typealias, CompositeType {
   /** Gets the aliased type (i.e. that appears on the RHS of the alias definition). */
   Type getRhs() { alias_rhs(this, result) }
+
+  override Type getUnderlyingType() { result = this.getRhs().getUnderlyingType() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -1011,6 +1011,8 @@ class NamedType extends @namedtype, CompositeType {`
`1011`	`1011`	`class AliasType extends @typealias, CompositeType {`
`1012`	`1012`	`/** Gets the aliased type (i.e. that appears on the RHS of the alias definition). */`
`1013`	`1013`	`Type getRhs() { alias_rhs(this, result) }`
	`1014`	`+`
	`1015`	`+ override Type getUnderlyingType() { result = this.getRhs().getUnderlyingType() }`
`1014`	`1016`	`}`
`1015`	`1017`
`1016`	`1018`	`/**`