This commit is contained in:
Chris Smowton 2024-09-27 19:07:00 +01:00 коммит произвёл GitHub
Родитель 796db77104
Коммит ca68aaa0de
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
1 изменённых файлов: 0 добавлений и 4 удалений

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

@ -737,10 +737,6 @@ class TypeSetLiteralType extends @typesetliteraltype, CompositeType {
override string toString() { result = "type set literal type" }
}
predicate foo(NamedType t, string name, Type mt) {
t.getUnderlyingType().(InterfaceType).getMethodType(name) = mt
}
/** An interface type. */
class InterfaceType extends @interfacetype, CompositeType {
/** Gets the type of method `name` of this interface type. */