if both `a` and `b` are of a common type that has ...
# announcements
k
if both
a
and
b
are of a common type that has a
foo
method