announcements type checking