and if you have an `is Interface` check, you mark ...
# language-proposals
k
and if you have an
is Interface
check, you mark all subtrees whose roots implement it as checked?