When you have an `is` by sealed hierarchy member, ...

# language-proposals

[dmitry.petrov]

When you have an is by sealed hierarchy member, you just mark the corresponding tree as checked.
Otherwise, you traverse the tree in breadth-first order and mark the corresponding subtrees.