This commit is contained in:
Chris Smowton 2024-10-23 22:34:41 +01:00 коммит произвёл Owen Mansel-Chan
Родитель cd99bea9c1
Коммит 7ffff43424
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 67E427E02E6DA1B8
1 изменённых файлов: 2 добавлений и 2 удалений

Просмотреть файл

@ -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, _)
)
)