The behavior has been documented by the undersocred attribute doc here, and was brought up several times in the forum and certain proposals (sometimes as annotations), like this and this.