diff --git a/docs/codeql/ql-language-reference/types.rst b/docs/codeql/ql-language-reference/types.rst index 9d3984b5f5e..ddbd1bc04c4 100644 --- a/docs/codeql/ql-language-reference/types.rst +++ b/docs/codeql/ql-language-reference/types.rst @@ -388,6 +388,8 @@ Non-extending subtypes ====================== Besides extending base types, classes can also declare `instanceof` relationships with other types. +Declaring a class as `instanceof Foo` is roughly equivalent to saying `this instanceof Foo` the charpred. +The main differences are that you can call methods on Bar via `super` and you can get better optimisation. .. code-block:: ql