C#: Include constructors in ValueOrRefType.hasCallable

This commit is contained in:
Tom Hvitved
2025-08-04 09:14:43 +02:00
parent 9aebc58214
commit 361ef0f50d

View File

@@ -201,7 +201,7 @@ class ValueOrRefType extends Type, Attributable, @value_or_ref_type {
*/
pragma[inline]
predicate hasCallable(Callable c) {
this.hasMethod(c)
this.hasMember(c)
or
this.hasMember(c.(Accessor).getDeclaration())
}