Member predicate TypeAnnotation::isThis

Holds if this is the this type.

predicate isThis()