adding annotations for 'array element subtyping' warnings