so if there is a single base type other then Any, ...
# announcements
v
so if there is a single base type other then Any, it infers it.