Skip to content

Commit

Permalink
Improve comments
Browse files Browse the repository at this point in the history
  • Loading branch information
smowton authored and owen-mc committed Nov 11, 2024
1 parent cd99bea commit 7ffff43
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll
Original file line number Diff line number Diff line change
Expand Up @@ -292,12 +292,12 @@ module SourceSinkInterpretationInput implements
subtypes = true and
(
// `syntacticQualBaseType`'s underlying type might be an interface type and `sse`
// might be a method defined on an interface which is a subtype of it.
// might refer to a method defined on an interface embedded within it.
targetType =
syntacticQualBaseType.getUnderlyingType().(InterfaceType).getAnEmbeddedInterface()
or
// `syntacticQualBaseType`'s underlying type might be a struct type and `sse`
// might be a promoted method or field.
// might refer to an embedded method or field.
syntacticQualBaseType.getUnderlyingType().(StructType).hasEmbeddedField(targetType, _)
)
)
Expand Down

0 comments on commit 7ffff43

Please sign in to comment.