I'm not opposed, except that this isn't an annotation we can't handle, this is the annotation being reported back on an impossible type.  I still think reporting the extra weird is more helpful than harmful.