IDEA-133851 (no-runtime annotations ignored by inspection)