This special inspection reports optionally expected annotations without actual annotation in some platform modules.