Skip to main content

doTypesOverlap

Callable


  • Provided two composite types, determine if they "overlap". Two composite types overlap when the Sets of possible concrete types for each intersect.

    This is often used to determine if a fragment of a given type could possibly be visited in a context of another type.

    This function is commutative.


    Parameters

    Returns boolean