Update docs/codeql/ql-language-reference/types.rst

Co-authored-by: Nick Rolfe <nickrolfe@github.com>
This commit is contained in:
Philip Ginsbach
2021-09-08 15:35:40 +01:00
committed by GitHub
parent 863eede75b
commit 55c605998c

View File

@@ -388,7 +388,7 @@ 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.
Declaring a class as `instanceof Foo` is roughly equivalent to saying `this instanceof Foo` in the characteristic predicate.
The main differences are that you can call methods on Bar via `super` and you can get better optimisation.
.. code-block:: ql