Member predicate TranslatedElement::hasAnImplicitDestructorCall
Holds if this element has implicit destructor calls that should follow it.
predicate hasAnImplicitDestructorCall()Holds if this element has implicit destructor calls that should follow it.
predicate hasAnImplicitDestructorCall()