Reports optionally expected annotations without actual annotation in some platform modules.